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

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

Active Bibliography

94 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998
1318 Monads for functional programming – Philip Wadler - 1995
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
15 Monadic Encapsulation in ML – Miley Semmelroth, Amr Sabry - 1999
Categories and Subject Descriptors: D.3.1 [Programming Languages]: Formal Definitions and Theory; F.3.2 [Logics and meanings of programs]: Semantics of Programming Languages— Operational semantics – Philip Wadler, Peter Thiemann, Universität Freiburg
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
734 Notions of Computation and Monads – Eugenio Moggi - 1991
Applications of monads [Mac71, Man76] – Eugenio Moggi
944 A theory of type polymorphism in programming – Robin Milner - 1978