Equivalence in Functional Languages with Effects (1991)

Cached

Download Links

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

Documents Related by Co-Citation

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
23 The Semantics of Destructive Lisp – I A Mason - 1986
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
730 Notions of Computation and Monads – Eugenio Moggi - 1991
99 Toward fully abstract semantics for local variables – Albert R Meyer, Kurt Sieber - 1988
48 Idealized Algol and its specification logic – J C Reynolds - 1982
395 LCF considered as a programming language – G Plotkin - 1977
130 Lambda-Calculus Models of Programming Languages – J H Morris - 1968
111 Operational Reasoning for Functions With Local State – Andrew Pitts, Ian Stark
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
333 The mechanical evaluation of expressions – P J Landin - 1964
180 A Natural Semantics for Lazy Evaluation – John Launchbury - 1993
26 Inferring the Equivalence of Functional Programs that Mutate Data – Ian Mason, Carolyn Talcott - 1992
48 A Variable Typed Logic of Effects – Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott - 1993
239 The Lazy Lambda Calculus – Samson Abramsky - 1990
7 Equivalence in functional languages with eects – I Mason, C Talcott - 1991
365 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
119 On the Observable Properties of Higher Order Functions that Dynamically Create Local Names (preliminary report) – Andrew Pitts, Ian Stark - 1993