|
263
|
Definitional interpreters for higher-order programming languages
– John C. Reynolds
- 1972
|
|
174
|
Call-by-name, call-by-value and the λ-calculus
– G Plotkin
- 1976
|
|
52
|
A functional correspondence between evaluators and abstract machines
– Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard
- 2003
|
|
70
|
D.P.: Control operators, the SECD machine and the λcalculus
– M Felleisen, Friedman
- 1986
|
|
101
|
Danvy and Andrzej Filinski. Representing control, a study of the CPS transformation
– Olivier
- 1992
|
|
91
|
RABBIT: a compiler for SCHEME
– STEELE JR, G L
- 1978
|
|
23
|
A rational deconstruction of Landin’s SECD machine
– Olivier Danvy, Kevin Millikin
- 2004
|
|
24
|
Programming languages and lambda calculi, unpublished lecture notes available at and last accessed in
– M Felleisen, M Flatt
- 2008
|
|
38
|
The Calculi of λ-v-CS Conversion: A Syntactic Theory of Control and State in Imperative Higher-Order Programming Languages
– Matthias Felleisen
- 1987
|
|
32
|
A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines
– Mads Sig Ager, Olivier Danvy, Jan Midtgaard
- 2004
|
|
34
|
A functional correspondence between monadic evaluators and abstract machines for languages with computational effects
– Mads Sig Ager, Olivier Danvy, Jan Midtgaard
- 2005
|
|
19
|
From Interpreter to Logic Engine by Defunctionalization
– Dariusz Biernacki, Olivier Danvy
- 2004
|
|
20
|
On Evaluation Contexts, Continuations, and the Rest of Computation
– Olivier Danvy
|
|
299
|
The mechanical evaluation of expressions
– P J Landin
- 1964
|
|
49
|
Danvy and Andrzej Filinski. Abstracting control
– Olivier
- 1990
|
|
22
|
Design and correctness of program transformations based on controlflow analysis
– Anindya Banerjee, Nevin Heintze, Jon G Riecke
|
|
22
|
Functional runtime systems within the lambda-sigma calculus
– Thérèse Hardin, Luc Maranget, Bruno Pagano
- 1998
|
|
17
|
An operational foundation for delimited continuations in the CPS hierarchy
– Dariusz Biernacki, Olivier Danvy
- 2005
|
|
10
|
A Denotational Investigation of Defunctionalization
– Lasse R. Nielsen
- 2000
|
