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 LambdaCalculus 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

LambdaCalculus 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 lambdavcs Conversion: A Syntactic Theory of Control and State in Imperative HigherOrder 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 operationallybased 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
