 | 2009 |
|---|
| 7 |       | Jean-Guillaume Dumas,
Dominique Duval,
Jean-Claude Reynaud:
Cartesian effect categories are Freyd-categories
CoRR abs/0903.3311: (2009) |
| 6 | | Dominique Duval,
Jean-Claude Reynaud:
About raising and handling exceptions
CoRR abs/0905.4596: (2009) |
| 2007 |
|---|
| 5 | | Jean-Guillaume Dumas,
Dominique Duval,
Jean-Claude Reynaud:
Sequential products in effect categories
CoRR abs/0707.1432: (2007) |
| 2005 |
|---|
| 4 | | Dominique Duval,
Jean-Claude Reynaud:
Diagrammatic logic and exceptions: an introduction.
Mathematics, Algorithms, Proofs 2005 |
| 1994 |
|---|
| 3 |  | Dominique Duval,
Jean-Claude Reynaud:
Sketches and Computation - I: Basic Definitions and Static Evaluation.
Mathematical Structures in Computer Science 4(2): 185-238 (1994) |
| 2 | | Dominique Duval,
Jean-Claude Reynaud:
Sketches and Computation - II: Dynamic Evaluation and Applications.
Mathematical Structures in Computer Science 4(2): 239-271 (1994) |
| 1990 |
|---|
| 1 | | Jean-Claude Reynaud:
Putting Algebraic Components Together: A Dependent Type Approach.
DISCO 1990: 141-150 |
