|
24
|
Programming, Transforming, and Proving with Function Abstractions and Memories
– Ian Mason, Carolyn Talcott
|
|
23
|
The Semantics of Destructive Lisp
– I A Mason
- 1986
|
|
15
|
Axiomatizing Operational Equivalence in the presence of Side Effects
– Ian Mason, Carolyn Talcott
- 1989
|
|
237
|
The Revised Report on the Syntactic Theories of Sequential Control and State
– Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb
- 1992
|
|
23
|
The calculi of lambda-v-cs conversion: A syntactic theory of control and state in imperative higher-order programming languages
– Matthias Felleisen
- 1987
|
|
299
|
The mechanical evaluation of expressions
– P J Landin
- 1964
|
|
401
|
Computational Lambda-Calculus and Monads
– Eugenio Moggi
- 1988
|
|
23
|
Side Effects and Aliasing Can Have Simple Axiomatic Descriptions
– Hans-Juergen Boehm
- 1985
|
|
210
|
Polymorphic effect systems
– John M. Lucassen, David K. Gifford
- 1988
|
|
56
|
Types and effects. towards the integration of functional and imperative programming
– J M Lucassen
- 1987
|
|
71
|
Single-threaded polymorphic lambda calculus
– Juan Guzman, Paul 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
|
|
23
|
Polymorphic typed lambda-calculi in a type-free axiomatic framework
– Solomon Feferman
- 1990
|
|
218
|
The Lazy Lambda Calculus
– Samson Abramsky
- 1990
|
|
997
|
The Lambda Calculus: its Syntax and Semantics
– H P Barendregt
- 1984
|
|
12
|
Verification of programs that destructively manipulate data
– I A Mason
- 1988
|
