Relative Hilbert-Post Completeness for Exceptions. | 0 | 0.34 | 2015 |
Hilbert-Post completeness for the state and the exception effects. | 0 | 0.34 | 2015 |
Certified Proofs in Programs Involving Exceptions. | 2 | 0.39 | 2014 |
Breaking a monad-comonad symmetry between computational effects. | 0 | 0.34 | 2014 |
Patterns for computational effects arising from a monad or a comonad. | 2 | 0.40 | 2013 |
A decorated proof system for exceptions. | 1 | 0.38 | 2013 |
Adjunctions for exceptions | 0 | 0.34 | 2012 |
Decorated proofs for computational effects: Exceptions | 0 | 0.34 | 2012 |
A duality between exceptions and states | 8 | 0.65 | 2012 |
Decorated Proofs For Computational Effects: States | 6 | 0.56 | 2012 |
Cartesian effect categories are Freyd-categories | 7 | 0.63 | 2011 |
States and exceptions are dual effects | 0 | 0.34 | 2010 |
About raising and handling exceptions | 0 | 0.34 | 2009 |
Sequential products in effect categories | 1 | 0.38 | 2007 |
Diagrammatic logic and exceptions: an introduction | 3 | 0.44 | 2005 |
Sketches and Computation - I: Basic Definitions and Static Evaluation | 8 | 1.61 | 1994 |
Sketches and Computation - II: Dynamic Evaluation and Applications | 7 | 1.56 | 1994 |
Putting Algebraic Components Together: A Dependent Type Approach | 2 | 0.38 | 1990 |