Dumas, Jean-Guillaume; Duval, Dominique; Fousse, Laurent; Reynaud, Jean-Claude A duality between exceptions and states. (English) Zbl 1280.68120 Math. Struct. Comput. Sci. 22, No. 4, 719-722 (2012). Reviewer: Anna Labella (Roma) MSC: 68Q55 18C50 PDFBibTeX XMLCite \textit{J.-G. Dumas} et al., Math. Struct. Comput. Sci. 22, No. 4, 719--722 (2012; Zbl 1280.68120) Full Text: DOI arXiv
Dumas, Jean-Guillaume; Duval, Dominique; Fousse, Laurent; Reynaud, Jean-Claude Adjunctions for exceptions. arXiv:1207.1255 Preprint, arXiv:1207.1255 [cs.LO] (2012). BibTeX Cite \textit{J.-G. Dumas} et al., ``Adjunctions for exceptions'', Preprint, arXiv:1207.1255 [cs.LO] (2012) Full Text: arXiv OA License
Dumas, Jean-Guillaume; Duval, Dominique; Fousse, Laurent; Reynaud, Jean-Claude Decorated proofs for computational effects: Exceptions. arXiv:1203.2900 Preprint, arXiv:1203.2900 [cs.LO] (2012). BibTeX Cite \textit{J.-G. Dumas} et al., ``Decorated proofs for computational effects: Exceptions'', Preprint, arXiv:1203.2900 [cs.LO] (2012) Full Text: arXiv OA License
Dumas, Jean-Guillaume; Duval, Dominique; Fousse, Laurent; Reynaud, Jean-Claude Decorated proofs for computational effects: States. arXiv:1112.2396 Preprint, arXiv:1112.2396 [cs.PL] (2011). BibTeX Cite \textit{J.-G. Dumas} et al., ``Decorated proofs for computational effects: States'', Preprint, arXiv:1112.2396 [cs.PL] (2011) Full Text: DOI arXiv OA License
Dumas, Jean-Guillaume; Duval, Dominique; Fousse, Laurent; Reynaud, Jean-Claude A duality between exceptions and states. arXiv:1112.2394 Preprint, arXiv:1112.2394 [cs.LO] (2011). BibTeX Cite \textit{J.-G. Dumas} et al., ``A duality between exceptions and states'', Preprint, arXiv:1112.2394 [cs.LO] (2011) Full Text: arXiv OA License