Equivalence in Functional Languages with Effects (1991)

Cached

Download Links

by Ian Mason , Carolyn Talcott
Citations:112 - 13 self

Active Bibliography

Copyright C – By Ian Mason, Ian Mason, Carolyn Talcott
4 A First Order Logic of Effects – Ian A. Mason - 1996
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
13 Reasoning about Functions with Effects – Carolyn Talcott - 1997
6 Program Transformations for Configuring Components – Ian A. Mason, Carolyn L. Talcott - 1991
7 A Theory of Classes for a Functional Language with Effects – Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott - 1993
29 References, Local Variables and Operational Reasoning – Ian A. Mason, Carolyn L. Talcott - 1992
20 Axiomatizing Operational Equivalence in the presence of Side Effects – Ian Mason, Carolyn Talcott - 1989
11 Reasoning about Programs with Effects – Ian Mason, Carolyn Talcott - 1990
5 An Operational Logic of Effects – Jacob Frost, Ian A. Mason - 1996
255 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
38 Assignments for applicative languages – Vipin Swarup, Uday S. Reddy, Evan Ireland, Palmerston North - 1991
7 Call byName, Assignment and the Lambda Calculus – Martin Odersky, Dan Rabin, Paul Hudak - 1992
4 Computing with Capsules – Jean-baptiste Jeannin, Dexter Kozen - 2011
186 Parameter-Passing and the Lambda Calculus – Erik Crank, Matthias Felleisen - 1991
222 A Foundation for Actor Computation – Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1998
730 Notions of Computation and Monads – Eugenio Moggi - 1991
12 Reasoning about Explicit and Implicit Representations of State – Amr Sabry , John Field - 1993