Modules over monads and operational semantics - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Modules over monads and operational semantics

Résumé

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
FSCD_2020_paper_30.pdf (183.78 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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-02338144v2⟩
260 Consultations
334 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More