Modules over monads and operational semantics - Archive ouverte HAL Access content directly
Conference Papers Year : 2020

Modules over monads and operational semantics

Abstract

This paper is a contribution to the search for efficient and high-level mathematical tools to specify and reason about (abstract) programming languages or calculi. Generalising the reduction monads of Ahrens et al., we introduce transition monads, thus covering new applications such as ̅λμ-calculus, π-calculus, Positive GSOS specifications, differential λ-calculus, and the big-step, simply-typed, call-by-value λ-calculus. Finally, we design a suitable notion of signature for transition monads.
Fichier principal
Vignette du fichier
LIPIcs-FSCD-2020-12.pdf (697.56 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02338144 , version 1 (29-10-2019)
hal-02338144 , version 2 (03-03-2020)
hal-02338144 , version 3 (01-09-2020)

Identifiers

Cite

André Hirschowitz, Tom Hirschowitz, Ambroise Lafont. Modules over monads and operational semantics. 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), 2020, Paris, France. pp.12:1--12:23, ⟨10.4230/LIPIcs.FSCD.2020.12⟩. ⟨hal-02338144v3⟩
248 View
317 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More