Reasoning about Programs with Effects (1990)

Cached

Download Links

by Ian Mason , Carolyn Talcott
Citations:11 - 6 self

Active Bibliography

6 Program Transformations for Configuring Components – Ian A. Mason, Carolyn L. Talcott - 1991
112 Equivalence in Functional Languages with Effects – Ian Mason, Carolyn Talcott - 1991
Copyright C – By Ian Mason, Ian Mason, Carolyn Talcott
48 A Variable Typed Logic of Effects – Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott - 1993
26 Inferring the Equivalence of Functional Programs that Mutate Data – Ian Mason, Carolyn Talcott - 1992
4 A First Order Logic of Effects – Ian A. Mason - 1996
20 Axiomatizing Operational Equivalence in the presence of Side Effects – Ian Mason, Carolyn Talcott - 1989
37 Assignments for applicative languages – Vipin Swarup, Uday S. Reddy, Evan Ireland, Palmerston North - 1991
4 Computing with Capsules – Jean-baptiste Jeannin, Dexter Kozen - 2011
13 Reasoning about Functions with Effects – Carolyn Talcott - 1997
730 Notions of Computation and Monads – Eugenio Moggi - 1991
255 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
222 A Foundation for Actor Computation – Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1998
1 Sparse Polynomials and Linear Logic – Henry G. Baker - 1993
92 Lively Linear Lisp - 'Look Ma, No Garbage!' – Henry G. Baker - 1992
5 An Operational Logic of Effects – Jacob Frost, Ian A. Mason - 1996
6 Names, Equations, Relations: Practical Ways to Reason about new – Ian Stark - 1996
39 Categorical Models for Local Names – Ian Stark - 1996
1 Safe Object Composition in the Presence of Subtyping – Lorenzo Bettini, Viviana Bono, Silvia Likavec - 2005