Monads and Adjunctions for Global Exceptions (2006)

Cached


by Paul Blain Levy
Citations:7 - 1 self

Documents Related by Co-Citation

734 Notions of Computation and Monads – Eugenio Moggi - 1991
33 Algebraic Operations and Generic Effects – Gordon Plotkin, John Power - 2003
445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
1318 Monads for functional programming – Philip Wadler - 1995
496 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
8 Gilad Bracha. The Java Language Specification, Third Edition – James Gosling, Bill Joy, Guy Steele - 2005
5 Matija Pretnar. Handlers of Algebraic Effects – Gordon D Plotkin - 2009
5 Decorated proofs for computational effects: States – Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud - 2012
5 A duality between exceptions and states – Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud - 2012