Researcher identifiers

Number of documents

6


"Laurent Fousse"    "Jean-Claude Reynaud"   

Journal articles2 documents

  • Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud. Decorated proofs for computational effects: States. Electronic Proceedings in Theoretical Computer Science, EPTCS, 2012, 93, pp.45-59. ⟨10.4204/EPTCS.93.3⟩. ⟨hal-00650269v2⟩
  • Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud. A duality between exceptions and states. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2012, 22 (4), pp.719-722. ⟨10.1017/S0960129511000752⟩. ⟨hal-00650260v2⟩

Conference papers1 document

  • Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud. Decorated proofs for computational effects: States. ACCAT, 2012, -, Estonia. ⟨hal-00828544⟩

Preprints, Working Papers, ...2 documents

  • Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud. Decorated proofs for computational effects: Exceptions. 2012. ⟨hal-00678738⟩
  • Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud. States and exceptions considered as dual effects. 2011. ⟨hal-00445873v4⟩

Reports1 document

  • Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud. Adjunctions for exceptions. 2012. ⟨hal-00714710v2⟩