Jean-Claude Reynaud

Publication Activity (10 Years)

Years Active: 1990-2015
Publications (10 Years): 0

Top Venues

CoRR

Math. Struct. Comput. Sci.

MACIS

CICM Workshops

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous, Jean-Claude Reynaud
Relative Hilbert-Post Completeness for Exceptions. MACIS (2015)
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous, Jean-Claude Reynaud
Hilbert-Post completeness for the state and the exception effects. CoRR (2015)
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
Breaking a monad-comonad symmetry between computational effects. CoRR (2014)
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Jean-Claude Reynaud
Certified Proofs in Programs Involving Exceptions. CICM Workshops (2014)
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
Patterns for computational effects arising from a monad or a comonad. CoRR (2013)
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
A decorated proof system for exceptions. CoRR (2013)
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud
A duality between exceptions and states. Math. Struct. Comput. Sci. 22 (4) (2012)
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud
Adjunctions for exceptions CoRR (2012)
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud
Decorated proofs for computational effects: States ACCAT (2012)
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud
Decorated proofs for computational effects: Exceptions CoRR (2012)
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
Cartesian effect categories are Freyd-categories. J. Symb. Comput. 46 (3) (2011)
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud
A duality between exceptions and states CoRR (2011)
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud
States and exceptions are dual effects CoRR (2010)
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
Cartesian effect categories are Freyd-categories CoRR (2009)
Dominique Duval, Jean-Claude Reynaud
About raising and handling exceptions CoRR (2009)
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
Sequential products in effect categories CoRR (2007)
Dominique Duval, Jean-Claude Reynaud
Diagrammatic logic and exceptions: an introduction. Mathematics, Algorithms, Proofs (2005)
Dominique Duval, Jean-Claude Reynaud
Sketches and Computation - II: Dynamic Evaluation and Applications. Math. Struct. Comput. Sci. 4 (2) (1994)
Dominique Duval, Jean-Claude Reynaud
Sketches and Computation - I: Basic Definitions and Static Evaluation. Math. Struct. Comput. Sci. 4 (2) (1994)
Jean-Claude Reynaud
Putting Algebraic Components Together: A Dependent Type Approach. DISCO (1990)

Jean-Claude Reynaud.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jean-Claude Reynaud