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
48 A Variable Typed Logic of Effects – Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott - 1993
255 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
29 References, Local Variables and Operational Reasoning – Ian A. Mason, Carolyn L. Talcott - 1992
23 The Semantics of Destructive Lisp – I A Mason - 1986
119 On the Observable Properties of Higher Order Functions that Dynamically Create Local Names (preliminary report) – Andrew Pitts, Ian Stark - 1993
130 Lambda-Calculus Models of Programming Languages – J H Morris - 1968
111 Operational Reasoning for Functions With Local State – Andrew Pitts, Ian Stark
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
99 Toward fully abstract semantics for local variables – Albert R Meyer, Kurt Sieber - 1988
33 The Calculi of lambda-v-cs Conversion: A Syntactic Theory of Control and State in Imperative Higher-Order Programming Languages – M Felleisen - 1987
48 Idealized Algol and its specification logic – J C Reynolds - 1982
88 Categorical Logic – Andrew M. Pitts - 1995
239 The Lazy Lambda Calculus – Samson Abramsky - 1990
32 Reasoning about local variables with operationally-based logical relations – Andrew M. Pitts - 1996
83 Control operators, the SECD machine and the -calculus – M Felleisen, D P Friedman - 1986
91 A language and axioms for explicit mathematics – S Feferman - 1975
333 The mechanical evaluation of expressions – P J Landin - 1964