dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Laurent Fousse (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud: Decorated proofs for computational effects: Exceptions CoRR abs/1203.2900: (2012)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud: Adjunctions for exceptions CoRR abs/1207.1255: (2012)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud: A duality between exceptions and states CoRR abs/1112.2394: (2011)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud: Decorated proofs for computational effects: States CoRR abs/1112.2396: (2011)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud: States and exceptions are dual effects CoRR abs/1001.1662: (2010)

Selection of 5 from 14 records - Laurent Fousse has 12 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page