|
237
|
The Revised Report on the Syntactic Theories of Sequential Control and State
– Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb
- 1992
|
|
169
|
A Natural Semantics for Lazy Evaluation
– John Launchbury
- 1993
|
|
401
|
Computational Lambda-Calculus and Monads
– Eugenio Moggi
- 1988
|
|
266
|
The Lambda Calculus: its syntax and semantics, volume 103 of Studies in logic and the foundations of mathematics
– Henk Barendregt
- 1985
|
|
105
|
A Syntactic Theory of Sequential Control
– M Felleisen, D P Friedman, E E Kohlbecker, B F Duba
- 1987
|
|
34
|
Cyclic Lambda Graph Rewriting
– Zena M. Ariola, Jan Willem Klop
- 1994
|
|
359
|
Explicit substitutions
– M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy
- 1996
|
|
35
|
D.P.: A syntactic theory of sequential state
– M Felleisen, Friedman
- 1989
|
|
27
|
Modeling Sharing and Recursion for Weak Reduction Strategies using Explicit Substitution
– Zine-El-Abidine Benaissa, Pierre Lescanne, Kristoffer H. Rose, Inria Lorraine
- 1996
|
|
221
|
Principal type schemes for functional programs
– L Damas, H Milner
- 1982
|
|
135
|
Elements of Interaction
– Robin Milner
- 1993
|
|
541
|
Light Linear Logic
– Jean-yves Girard
|
|
13
|
The semantics of lazy functional languages
– M B Josephs
- 1989
|
|
108
|
Equivalence in Functional Languages with Effects
– Ian Mason, Carolyn Talcott
- 1991
|
|
83
|
Control operators, the SECD machine and the -calculus
– M Felleisen, D P Friedman
- 1986
|
|
533
|
A Transformation System for Developing Recursive Programs
– R. M. Burstall, John Darlington
- 1977
|
|
26
|
Call-by-Name, Call-by-Value, Call-by-Need, and the Linear Lambda Calculus
– John Maraist, Martin Odersky, David N. Turner, Philip Wadler
- 1994
|
|
997
|
The Lambda Calculus: its Syntax and Semantics
– H P Barendregt
- 1984
|
|
490
|
A Syntactic Approach to Type Soundness
– Andrew K. Wright, Matthias Felleisen
- 1992
|
