Jean-Claude Reynaud

21 papers Journal 15Unranked 5
YearRankTypeTitle / Venue / Authors
2015 J jnl
Hilbert-Post completeness for the state and the exception effects.
CoRR
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous, Jean-Claude Reynaud
2015 — conf
Relative Hilbert-Post Completeness for Exceptions.
MACIS
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous, Jean-Claude Reynaud
2014 J jnl
Breaking a monad-comonad symmetry between computational effects.
CoRR
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
2014 — conf
Certified Proofs in Programs Involving Exceptions.
CICM Workshops
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Jean-Claude Reynaud
2013 J jnl
A decorated proof system for exceptions.
CoRR
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
2013 J jnl
Patterns for computational effects arising from a monad or a comonad.
CoRR
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
2012 J jnl
A duality between exceptions and states.
Math. Struct. Comput. Sci.
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud
2012 J jnl
Adjunctions for exceptions
CoRR
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud
2012 J jnl
Decorated proofs for computational effects: Exceptions
CoRR
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud
2012 — conf
Decorated proofs for computational effects: States
ACCAT
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud
2011 J jnl
A duality between exceptions and states
CoRR
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud
2011 J jnl
Cartesian effect categories are Freyd-categories.
J. Symb. Comput.
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
2010 J jnl
States and exceptions are dual effects
CoRR
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud
2009 J jnl
About raising and handling exceptions
CoRR
Dominique Duval, Jean-Claude Reynaud
2009 J jnl
Cartesian effect categories are Freyd-categories
CoRR
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
2007 J jnl
Sequential products in effect categories
CoRR
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
2005 — conf
Diagrammatic logic and exceptions: an introduction.
Mathematics, Algorithms, Proofs
Dominique Duval, Jean-Claude Reynaud
1994 J jnl
Sketches and Computation - I: Basic Definitions and Static Evaluation.
Math. Struct. Comput. Sci.
Dominique Duval, Jean-Claude Reynaud
1994 J jnl
Sketches and Computation - II: Dynamic Evaluation and Applications.
Math. Struct. Comput. Sci.
Dominique Duval, Jean-Claude Reynaud
1990 — conf
Putting Algebraic Components Together: A Dependent Type Approach.
DISCO
Jean-Claude Reynaud
1978 — —
IMAG 3 : un système de simulation et d'optimisation de circuits electroniques.
Jean-Claude Reynaud