Correctness of Monadic State: An Imperative Call-by-Need Calculus (1998)

Cached

Download Links

by Zena M. Ariola , Amr Sabry
Venue:In Proc. 25th ACM Symposium on Principles of Programming Languages
Citations:20 - 2 self

Documents Related by Co-Citation

734 Notions of Computation and Monads – Eugenio Moggi - 1991
445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
1318 Monads for functional programming – Philip Wadler - 1995
28 Monadic Encapsulation of Effects: A Revised Approach (Extended Version) – E. Moggi, Amr Sabry - 1999
24 Monadic State: Axiomatization and Type Safety – John Launchbury, Amr Sabry, When Launchbury, Peyton Jones Introduced Encapsulated - 1997
94 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998
459 Comprehending Monads – Philip Wadler - 1992
108 Lazy functional state threads – John Launchbury, Simon L Peyton Jones - 1994
356 Proofs and Types – J Y Girard, P Taylor, Y Lafont - 1989