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

111 Equivalence in Functional Languages with Effects – Ian Mason, Carolyn Talcott - 1991
258 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
441 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
48 A Variable Typed Logic of Effects – Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott - 1993
30 References, Local Variables and Operational Reasoning – Ian A. Mason, Carolyn L. Talcott - 1992
128 Lambda Calculus Models of Programming Languages – James H Morris - 1968
23 The Semantics of Destructive Lisp – I A Mason - 1986
240 The Lazy Lambda Calculus – Samson Abramsky - 1990
1566 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
119 On the Observable Properties of Higher Order Functions that Dynamically Create Local Names (preliminary report) – Andrew Pitts, Ian Stark - 1993
88 Categorical Logic – Andrew M. Pitts - 1995
83 Control operators, the SECD machine and the -calculus – M Felleisen, D P Friedman - 1986
32 Reasoning about local variables with operationally-based logical relations – Andrew M. Pitts - 1996
110 Operational Reasoning for Functions With Local State – Andrew Pitts, Ian Stark
542 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
90 A language and axioms for explicit mathematics – S Feferman - 1975
187 Parameter-Passing and the Lambda Calculus – Erik Crank, Matthias Felleisen - 1991