25

Programming, Transforming, and Proving with Function Abstractions and Memories
– Ian Mason, Carolyn Talcott

23

The Semantics of Destructive Lisp
– I A Mason
 1986

20

Axiomatizing Operational Equivalence in the presence of Side Effects
– Ian Mason, Carolyn Talcott
 1989

255

The Revised Report on the Syntactic Theories of Sequential Control and State
– Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb
 1992

33

The Calculi of lambdavcs Conversion: A Syntactic Theory of Control and State in Imperative HigherOrder Programming Languages
– M Felleisen
 1987

333

The mechanical evaluation of expressions
– P J Landin
 1964

439

Computational LambdaCalculus and Monads
– Eugenio Moggi
 1988

23

Side Effects and Aliasing Can Have Simple Axiomatic Descriptions
– HansJuergen Boehm
 1985

238

Polymorphic effect systems
– John M. Lucassen, David K. Gifford
 1988

58

Types and Effects: Towards the Integration of Functional and Imperative Programming
– M Lucassen
 1987

71

Singlethreaded polymorphic lambda calculus
– J C Guzman, P Hudak
 1990

9

Making variables abstract: An equational theory for Russell
– A Demers, J Donahue
 1983

4

Equality in the lazy lambda calculus
– D Howe
 1989

11

Reasoning about Programs with Effects
– Ian Mason, Carolyn Talcott
 1990

12

A theory of variable types. Revista Colombiana de Matem'aticas
– S Feferman
 1975

239

The Lazy Lambda Calculus
– Samson Abramsky
 1990

1125

The Lambda Calculus: Its Syntax and Semantics
– H P Barendregt
 1981

23

Polymorphic typed lambdacalculi in a typefree axiomatic framework
– Solomon Feferman
 1990

12

Verification of programs that destructively manipulate data
– I A Mason
 1988
