Modules over monads and operational semantics - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2019

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 operational monads, thus covering new applications such as the-calculus, Positive GSOS specifications, and the big-step, simply-typed, call-by-value-calculus. Finally, we design a notion of signature for operational monads that covers all our examples.
Fichier principal
Vignette du fichier
monades-graphiques.pdf (186.57 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

  • HAL Id : hal-02338144 , version 1

Citer

André Hirschowitz, Tom Hirschowitz, Ambroise Lafont. Modules over monads and operational semantics. 2019. ⟨hal-02338144v1⟩

Collections

IMT-ATLANTIQUE
262 Consultations
334 Téléchargements

Partager

Gmail Facebook X LinkedIn More