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

16 Monadic Encapsulation in ML – Miley Semmelroth, Amr Sabry - 1999
92 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998
19 Isolating Side Effects in Sequential Languages – Jon G. Riecke, Ramesh Viswanathan - 1995
47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
A Flexible Semantic Framework for Effects – Ross Tate, Daan Leijen, Sorin Lerner
11 Safe and Principled Language Interoperation – Valery Trifonov, Zhong Shao - 1999
196 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
8 Monadic Type Systems: Pure Type Systems for Impure Settings (Preliminary Report) – Gilles Barthe, John Hatcliff, Peter Thiemann - 1997
6 A Modal Calculus for Effect Handling – Aleksandar Nanevski - 2003
2 Monadic and Substructural Type Systems for Region-Based Memory Management – Matthew Thomas Fluet - 2007
A Modal Language for Effects – Sungwoo Park, Robert Harper - 2004
A Logical View of Effects – Sungwoo Park , Robert Harper
96 How to Declare an Imperative – Philip Wadler - 1995
9 Extending the Loop Language with Higher-Order Procedural Variables – T. Crolard, E. Polonowski, P. Valarcher - 2010
20 Correctness of Monadic State: An Imperative Call-by-Need Calculus – Zena M. Ariola, Amr Sabry - 1998
3 Type reconstruction for SCI – Howard Huang, Uday Reddy - 1996
3 Imperative Lambda Calculus Revisited – Hongseok Yang, Uday Reddy - 1997
3 Type-directed continuation allocation – Zhong Shao, Valery Trifonov - 1998
5 Weak Polymorphism Can Be Sound – John Greiner - 1996