Jean-Claude Reynaud

CoRR, 2014

Certified Proofs in Programs Involving Exceptions.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the MathUI, 2014

2013

A decorated proof system for exceptions.

[BibT_eX]

[DOI]

CoRR, 2013

Patterns for computational effects arising from a monad or a comonad.

[BibT_eX]

[DOI]

CoRR, 2013

2012

A duality between exceptions and states.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2012

Adjunctions for exceptions

[BibT_eX]

[DOI]

CoRR, 2012

Decorated proofs for computational effects: Exceptions

[BibT_eX]

[DOI]

CoRR, 2012

Decorated proofs for computational effects: States

[BibT_eX]

[DOI]

Proceedings of the Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory, 2012

2011

Cartesian effect categories are Freyd-categories.

[BibT_eX]

[DOI]

J. Symb. Comput., 2011

2010

States and exceptions are dual effects

[BibT_eX]

[DOI]

CoRR, 2010

2009

About raising and handling exceptions

[BibT_eX]

[DOI]

CoRR, 2009

2007

Sequential products in effect categories

[BibT_eX]

[DOI]

CoRR, 2007

2005

Diagrammatic logic and exceptions: an introduction.

[BibT_eX]

[DOI]

Proceedings of the Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005

1994

Sketches and Computation - II: Dynamic Evaluation and Applications.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 1994

Sketches and Computation - I: Basic Definitions and Static Evaluation.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 1994

1990

Putting Algebraic Components Together: A Dependent Type Approach.

[BibT_eX]

[DOI]

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1990

1978

IMAG 3 : un système de simulation et d'optimisation de circuits electroniques.

[BibT_eX]

[DOI]