Monadic Encapsulation of Effects: A Revised Approach (Extended Version) (1999)

by E. Moggi , Amr Sabry
Venue:Journal of Functional Programming
Citations:28 - 4 self

Documents Related by Co-Citation

731 Notions of Computation and Monads – Eugenio Moggi - 1991
92 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998
1311 Monads for functional programming – Philip Wadler - 1995
441 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
457 Comprehending Monads – Philip Wadler - 1992
106 Lazy functional state threads – John Launchbury, Simon L Peyton Jones - 1994
280 Region-Based Memory Management – Mads Tofte, Jean-Pierre Talpin - 1997
540 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
938 A theory of type polymorphism in programming – Robin Milner - 1978