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

ParameterPassing and the Lambda Calculus
– Erik Crank, Matthias Felleisen
 1991
