|
108
|
Equivalence in Functional Languages with Effects
– Ian Mason, Carolyn Talcott
- 1991
|
|
237
|
The Revised Report on the Syntactic Theories of Sequential Control and State
– Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb
- 1992
|
|
45
|
A Variable Typed Logic of Effects
– Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott
- 1993
|
|
401
|
Computational Lambda-Calculus and Monads
– Eugenio Moggi
- 1988
|
|
26
|
References, Local Variables and Operational Reasoning
– Ian A. Mason, Carolyn L. Talcott
- 1992
|
|
1497
|
The Definition of Standard ML
– Robin Milner, Mads Tofte, Robert Harper
- 1990
|
|
23
|
The Semantics of Destructive Lisp
– I A Mason
- 1986
|
|
106
|
On the Observable Properties of Higher Order Functions that Dynamically Create Local Names (preliminary report)
– Andrew Pitts, Ian Stark
- 1993
|
|
121
|
Lambda-Calculus Models of Programming Languages
– J H Morris
- 1968
|
|
101
|
Operational Reasoning for Functions With Local State
– Andrew Pitts, Ian Stark
|
|
83
|
Control operators, the SECD machine and the -calculus
– M Felleisen, D P Friedman
- 1986
|
|
96
|
Towards fully abstract semantics for local variables
– A R Meyer, K Sieber
- 1988
|
|
23
|
The calculi of lambda-v-cs conversion: A syntactic theory of control and state in imperative higher-order programming languages
– Matthias Felleisen
- 1987
|
|
44
|
Idealized Algol and its specification logic
– J C Reynolds
- 1982
|
|
33
|
Reasoning about local variables with operationally-based logical relations
– Andrew M. Pitts
- 1996
|
|
299
|
The mechanical evaluation of expressions
– P J Landin
- 1964
|
|
218
|
The Lazy Lambda Calculus
– Samson Abramsky
- 1990
|
|
87
|
A language and axioms for explicit mathematics
– S Feferman
|
|
83
|
Evaluation Logic
– Andrew Pitts
- 1990
|
