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

Active Bibliography

15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
12 Reasoning about Explicit and Implicit Representations of State – Amr Sabry , John Field - 1993
7 Call byName, Assignment and the Lambda Calculus – Martin Odersky, Dan Rabin, Paul Hudak - 1992
48 A Variable Typed Logic of Effects – Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott - 1993
13 Reasoning about Functions with Effects – Carolyn Talcott - 1997
20 Correctness of Monadic State: An Imperative Call-by-Need Calculus – Zena M. Ariola, Amr Sabry - 1998
34 Functional Nets – Martin Odersky - 2000
14 What is a Purely Functional Language? – Amr Sabry - 1998
2 Putting Operational Techniques to the Test: A Syntactic Theory for Behavioral Verilog – John Fiskio-lasseter, Amr Sabry
15 Monadic Encapsulation in ML – Miley Semmelroth, Amr Sabry - 1999
2 A Simple Interpretation of OOP in a Language with State – Jonathan Eifrig, Scott Smith, Valery Trifonov, Amy Zwarico - 1993
20 An Interpretation of Typed OOP in a Language with State – Jonathan Eifrig, Scott Smith, Valery Trifonov, A. Mason, Martin Odersky - 1995
23 A Complete Transformational Toolkit for Compilers – J.A. Bergstra, T.B. Dinesh, J. Field, J. Heering - 1996
26 Inferring the Equivalence of Functional Programs that Mutate Data – Ian Mason, Carolyn Talcott - 1992
3 Calculi for Functional Programming Languages with Assignment – Daniel Eli Rabin, Daniel Eli Rabin - 1996
31 A Functional Theory of Local Names – Martin Odersky - 1994
42 Semantics of memory management for polymorphic languages – Greg Morrisett, Robert Harper - 1997
5 On generic context lemmas for lambda calculi with sharing – Manfred Schmidt-Schauß, David Sabel - 2008
7 FUNDIO: A Lambda-Calculus with a letrec, case, Constructors, and an IO-Interface: Approaching a Theory of unsafePerformIO – Manfred Schmidt-Schauß - 2003