The Marriage of Effects and Monads (1998)

by Philip Wadler , Peter Thiemann
Citations:92 - 4 self

Documents Related by Co-Citation

730 Notions of Computation and Monads – Eugenio Moggi - 1991
1312 Monads for functional programming – Philip Wadler - 1995
152 The Type and Effect Discipline – Jean-Pierre Talpin, Pierre Jouvelot - 1992
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
283 Region-Based Memory Management – Mads Tofte, Jean-Pierre Talpin - 1997
196 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
711 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
106 Lazy functional state threads – John Launchbury, Simon L Peyton Jones - 1994
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
456 Comprehending Monads – Philip Wadler - 1992
121 Polymorphic Type, Region and Effect Inference – Jean-Pierre Talpin, Pierre Jouvelot - 1991
13 Optimizing ML Using a Hierarchy of Monadic Types – Andrew Tolmach - 1998
238 Polymorphic effect systems – John M. Lucassen, David K. Gifford - 1988
16 Monadic Encapsulation in ML – Miley Semmelroth, Amr Sabry - 1999
272 Local Reasoning about Programs that Alter Data Structures – Peter O'Hearn, John Reynolds, Hongseok Yang - 2001
27 Monads, effects and transformations – Nick Benton, Andrew Kennedy - 1999
86 Integrating functional and imperative programming – David K Gifford, John M Lucassen - 1986
19 Bridging the gulf: a common intermediate language for ML and Haskell – Simon Peyton Jones, John Launchbury, Mark Shields, Andrew Tolmach - 1998
109 Algebraic Reconstruction of Types and Effects – Pierre Jouvelot, David K. Gifford - 1991