CV Accueil - Archive ouverte HAL

	Decorated proofs for computational effects: States Jean-Guillaume Dumas , Dominique Duval , Laurent Fousse , Jean-Claude Reynaud Electronic Proceedings in Theoretical Computer Science, 2012, 93, pp.45-59. ⟨10.4204/EPTCS.93.3⟩ Article dans une revue hal-00650269v2
	A duality between exceptions and states Jean-Guillaume Dumas , Dominique Duval , Laurent Fousse , Jean-Claude Reynaud Mathematical Structures in Computer Science, 2012, 22 (4), pp.719-722. ⟨10.1017/S0960129511000752⟩ Article dans une revue hal-00650260v2
	Cartesian effect categories are Freyd-categories Jean-Guillaume Dumas , Dominique Duval , Jean-Claude Reynaud Journal of Symbolic Computation, 2011, 46 (3), pp.272-293. ⟨10.1016/j.jsc.2010.09.008⟩ Article dans une revue hal-00369328v3

	Certified proofs in programs involving exceptions Jean-Guillaume Dumas , Dominique Duval , Burak Ekici , Jean-Claude Reynaud Conference on Intelligent Computer Mathematics Work in Progress, Jul 2014, Coimbra, Portugal. pp.16 Communication dans un congrès hal-00867237v3
	Decorated proofs for computational effects: States Jean-Guillaume Dumas , Dominique Duval , Laurent Fousse , Jean-Claude Reynaud ACCAT, 2012, -, Estonia Communication dans un congrès hal-00828544v1
	Sequential products for effects Dominique Duval , Jean-Guillaume Dumas , Jean-Claude Reynaud ACCAT'09 - Applied and Computational Category Theory, Mar 2009, York, United Kingdom Communication dans un congrès hal-00388686v1
	Sequential products in effect categories Dominique Duval , Jean-Guillaume Dumas , Jean-Claude Reynaud Journées ARROWS, Jun 2007, Nancy, France Communication dans un congrès hal-00770341v1

	Breaking a monad-comonad symmetry between computational effects Jean-Guillaume Dumas , Dominique Duval , Jean-Claude Reynaud [Research Report] arXiV. 2014 Rapport hal-00941653v1
	Patterns for computational effects arising from a monad or a comonad Jean-Guillaume Dumas , Dominique Duval , Jean-Claude Reynaud [Research Report] LJK. 2013 Rapport hal-00868831v2
	Decorated proofs for computational effects: Exceptions Jean-Guillaume Dumas , Dominique Duval , Laurent Fousse , Jean-Claude Reynaud [Research Report] Université Grenoble Alpes (UGA). 2012 Rapport hal-00678738v1
	Adjunctions for exceptions Jean-Guillaume Dumas , Dominique Duval , Laurent Fousse , Jean-Claude Reynaud [Research Report] LJK. 2012 Rapport hal-00714710v2
	States and exceptions considered as dual effects Jean-Guillaume Dumas , Dominique Duval , Laurent Fousse , Jean-Claude Reynaud [Research Report] Université Grenoble Alpes. 2011 Rapport hal-00445873v4
	Sequential products in effect categories Jean-Guillaume Dumas , Dominique Duval , Jean-Claude Reynaud [Research Report] Université Grenoble Alpes (UGA). 2007 Rapport hal-00161303v1

Jean-Guillaume Dumas