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

Documents Related by Co-Citation

112 Equivalence in Functional Languages with Effects – Ian Mason, Carolyn Talcott - 1991
269 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
457 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
50 A Variable Typed Logic of Effects – Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott - 1993
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
349 The mechanical evaluation of expressions – P J Landin - 1964
30 References, Local Variables and Operational Reasoning – Ian A. Mason, Carolyn L. Talcott - 1992
766 Notions of Computation and Monads – Eugenio Moggi - 1991