Monads and Adjunctions for Global Exceptions (2006)

Cached


by Paul Blain Levy
Citations:6 - 1 self

Documents Related by Co-Citation

730 Notions of Computation and Monads – Eugenio Moggi - 1991
32 Algebraic Operations and Generic Effects – Gordon Plotkin, John Power - 2003
7 Gilad Bracha. The Java Language Specification, Third Edition – James Gosling, Bill Joy, Guy Steele - 2005
4 Matija Pretnar. Handlers of Algebraic Effects – Gordon D Plotkin - 2009
4 Diagrammatic logic applied to a parameterization process – César Domínguez, Dominique Duval - 2009
4 A duality between exceptions and states – Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud - 2012
4 Decorated proofs for computational effects: States – Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud - 2012
26 Computational Effects and Operations: An Overview – Gordon Plotkin, John Power - 2004
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
12 The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads – Martin Hyland, John Power - 2007
24 The Definition of Standard ML, Revised edition – R Milner, M Tofte, R Harper, D MacQueen - 1997
10 Diagrammatic Specifications – D Duval
5 Cartesian effect categories are Freyd-categories – Jean-guillaume Dumas, Dominique Duval, Jean-claude Reynaud - 2009
2 DamienPous.Formal verification in Coq of program properties involving the global state effect. arXiv:1310.0794 – DominiqueDuval Jean-GuillaumeDumas, BurakEkici - 2013
2 Till Mossakowski.Generic ExceptionHandling andthe Java Monad – Lutz Schröder - 2004
1312 Monads for functional programming – Philip Wadler - 1995
238 Polymorphic effect systems – John M. Lucassen, David K. Gifford - 1988
55 Representing Layered Monads – Andrzej Filinski - 1999
30 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001