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

733 Notions of Computation and Monads – Eugenio Moggi - 1991
441 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
1312 Monads for functional programming – Philip Wadler - 1995
92 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998
106 Lazy functional state threads – John Launchbury, Simon L Peyton Jones - 1994
24 Monadic State: Axiomatization and Type Safety – John Launchbury, Amr Sabry, When Launchbury, Peyton Jones Introduced Encapsulated - 1997
20 Correctness of Monadic State: An Imperative Call-by-Need Calculus – Zena M. Ariola, Amr Sabry - 1998
60 A Reflection on Call-by-Value – Amr Sabry, Philip Wadler - 1996
15 Monadic Encapsulation in ML – Miley Semmelroth, Amr Sabry - 1999
458 Comprehending Monads – Philip Wadler - 1992
13 Optimizing ML Using a Hierarchy of Monadic Types – Andrew Tolmach - 1998
152 The Type and Effect Discipline – Jean-Pierre Talpin, Pierre Jouvelot - 1992
194 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
11 Taming Effects with Monadic Typing – Richard B. Kieburtz - 1999
57 Implementation of the typed call-by-value λ-calculus using a stack of regions – Mads Tofte - 1994
105 Compiling Standard ML to Java bytecodes – Nick Benton, Andrew Kennedy, George Russell, Nick Benton, Andrew Kennedy, George Russell - 1998
203 Concurrent Haskell – Simon Peyton Jones, Andrew Gordon, Sigbjorn Finne - 1996
52 A Semantics for Imprecise Exceptions – Simon Peyton Jones, Alastair Reid, Tony Hoare, Simon Marlow, Fergus Henderson - 1999
28 Region Analysis and the Polymorphic Lambda Calculus – Anindya Banerjee, Nevin Heintze, Jon G. Riecke - 1999