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

Active Bibliography

12 Reasoning about Explicit and Implicit Representations of State – Amr Sabry , John Field - 1993
16 Monadic Encapsulation in ML – Miley Semmelroth, Amr Sabry - 1999
96 How to Declare an Imperative – Philip Wadler - 1995
31 A Functional Theory of Local Names – Martin Odersky - 1994
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
State in Haskell – John Launchbury Jl, John Launchbury, Simon L Peyton Jones - 1996
14 What is a Purely Functional Language? – Amr Sabry - 1998
13 Rolling Your Own Mutable ADT --- A Connection between Linear Types and Monads --- – Chih-ping Chen, Paul Hudak - 1997
7 FUNDIO: A Lambda-Calculus with a letrec, case, Constructors, and an IO-Interface: Approaching a Theory of unsafePerformIO – Manfred Schmidt-Schauß - 2003
23 A Complete Transformational Toolkit for Compilers – J.A. Bergstra, T.B. Dinesh, J. Field, J. Heering - 1996
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
3 Type reconstruction for SCI – Howard Huang, Uday Reddy - 1996
22 A calculus for link-time compilation – Elena Machkasova, Franklyn A. Turbak - 2000
1 Diagrams for Meaning Preservation – J. B. Wells, Wells Detlef Plump, Fairouz Kamareddine - 2003
Arrays in Imperative Lambda Calculus (Extended abstract) – Sam Kamin, Uday S. Reddy - 1992
19 Isolating Side Effects in Sequential Languages – Jon G. Riecke, Ramesh Viswanathan - 1995
10 Dynamic Slicing In Higher-Order Programming Languages – Sandip K. Biswas, Carl A. Gunter, Insup Lee - 1997
31 Implicit and Explicit Parallel Programming in Haskell – Mark P. Jones, Paul Hudak - 1993