Inferring the Equivalence of Functional Programs that Mutate Data (1992)

Cached

Download Links

by Ian Mason , Carolyn Talcott
Venue:Theoretical Computer Science
Citations:26 - 7 self

Active Bibliography

13 Reasoning about Functions with Effects – Carolyn Talcott - 1997
48 A Variable Typed Logic of Effects – Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott - 1993
111 Equivalence in Functional Languages with Effects – Ian Mason, Carolyn Talcott - 1991
19 Axiomatizing Operational Equivalence in the presence of Side Effects – Ian Mason, Carolyn Talcott - 1989
Copyright C – By Ian Mason, Ian Mason, Carolyn Talcott
A Reflective Framework for Formal Interoperability – SRI, Computer Systems Laboratory, Department of Computer Science, Stanford University - 1998
734 Notions of Computation and Monads – Eugenio Moggi - 1991
4 A First Order Logic of Effects – Ian A. Mason - 1996
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992