A duality between exceptions and states - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2011

A duality between exceptions and states

Résumé

In this short note we study the semantics of two basic computational effects, exceptions and states, from a new point of view. In the handling of exceptions we dissociate the control from the elementary operation which recovers from the exception. In this way it becomes apparent that there is a duality, in the categorical sense, between exceptions and states.
Fichier principal
Vignette du fichier
DDFR-dual-short.pdf (95.88 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00650260 , version 1 (09-12-2011)
hal-00650260 , version 2 (31-05-2013)

Identifiants

Citer

Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud. A duality between exceptions and states. 2011. ⟨hal-00650260v1⟩
356 Consultations
74 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More