Monadic Encapsulation in ML (1999)

Cached

Download Links

by Miley Semmelroth , Amr Sabry
Venue:In Proceedings of the 4th ACM SIGPLAN International Conference on Functional Programming (ICFP’99
Citations:16 - 2 self

Active Bibliography

28 Monadic Encapsulation of Effects: A Revised Approach (Extended Version) – E. Moggi, Amr Sabry - 1999
2 Monadic and Substructural Type Systems for Region-Based Memory Management – Matthew Thomas Fluet - 2007
47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
48 A Variable Typed Logic of Effects – Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott - 1993
20 Correctness of Monadic State: An Imperative Call-by-Need Calculus – Zena M. Ariola, Amr Sabry - 1998
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
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
17 Monadic Regions – Matthew Fluet, et al. - 2004
14 A Retrospective on Region-Based Memory Management – Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg - 2004
A Modal Language for Effects – Sungwoo Park, Robert Harper - 2004
A Logical View of Effects – Sungwoo Park , Robert Harper
168 Alias Types – Frederick Smith, David Walker, Greg Morrisett - 1999
26 Typing References by Effect Inference – Andrew Wright - 1992
A Flexible Semantic Framework for Effects – Ross Tate, Daan Leijen, Sorin Lerner
6 A Modal Calculus for Effect Handling – Aleksandar Nanevski - 2003
97 Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell – Simon Peyton Jones - 2001
14 What is a Purely Functional Language? – Amr Sabry - 1998
3 Imperative Lambda Calculus Revisited – Hongseok Yang, Uday Reddy - 1997