Monadic State: Axiomatization and Type Safety (1997)

Cached

Download Links

by John Launchbury , Amr Sabry , When Launchbury , Peyton Jones Introduced Encapsulated
Venue:In Proceedings of the 2nd ACM SIGPLAN International Conference on Functional Programming (ICFP’97
Citations:24 - 5 self

Documents Related by Co-Citation

730 Notions of Computation and Monads – Eugenio Moggi - 1991
106 Lazy functional state threads – John Launchbury, Simon L Peyton Jones - 1994
28 Monadic Encapsulation of Effects: A Revised Approach (Extended Version) – E. Moggi, Amr Sabry - 1999
16 Monadic Encapsulation in ML – Miley Semmelroth, Amr Sabry - 1999
92 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998
186 Parameter-Passing and the Lambda Calculus – Erik Crank, Matthias Felleisen - 1991
196 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
283 Region-Based Memory Management – Mads Tofte, Jean-Pierre Talpin - 1997
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
20 Correctness of Monadic State: An Imperative Call-by-Need Calculus – Zena M. Ariola, Amr Sabry - 1998
11 Taming Effects with Monadic Typing – Richard B. Kieburtz - 1999
1312 Monads for functional programming – Philip Wadler - 1995
456 Comprehending Monads – Philip Wadler - 1992
238 Polymorphic effect systems – John M. Lucassen, David K. Gifford - 1988
7 Formal type soundness for Cyclone’s region system – Dan Grossman, Greg Morrisett, Trevor Jim, Mike Hicks, Yanling Wang, James Cheney - 2001
15 Syntactic Type Soundness Results for the Region Calculus – Cristiano Calcagno, Simon Helsen, Peter Thiemann - 2001
9 Effect types and region-based memory management – F Henglein, H Makholm, H Niss - 2004
353 Proofs and Types – Jean-Yves Girard, Yves Lafont, Paul Taylor - 1989
363 Towards a theory of type structure – J C Reynolds - 1974