|
52
|
A functional correspondence between evaluators and abstract machines
– Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard
- 2003
|
|
59
|
Defunctionalization at Work
– Olivier Danvy, Lasse R. Nielsen
- 2001
|
|
263
|
Definitional interpreters for higher-order programming languages
– John C. Reynolds
- 1972
|
|
12
|
Refocusing in reduction semantics. Research Report BRICS
– Olivier Danvy, Lasse R Nielsen
- 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
|
|
34
|
A functional correspondence between monadic evaluators and abstract machines for languages with computational effects
– Mads Sig Ager, Olivier Danvy, Jan Midtgaard
- 2005
|
|
20
|
Definitional interpreters revisited
– John C. Reynolds, In Late, Jean Sammet, Burt Leavenworth, Art Evans
- 1998
|
|
32
|
A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines
– Mads Sig Ager, Olivier Danvy, Jan Midtgaard
- 2004
|
|
299
|
The mechanical evaluation of expressions
– P Landin
- 1964
|
|
70
|
D.P.: Control operators, the SECD machine and the λcalculus
– M Felleisen, Friedman
- 1986
|
|
174
|
Call-by-name, call-by-value and the λ-calculus
– G Plotkin
- 1976
|
|
12
|
A concrete framework for environment machines
– Małgorzata Biernacka, Olivier Danvy
- 2005
|
|
10
|
From Reduction-Based to Reduction-Free Normalization
– Olivier Danvy
- 2004
|
|
9
|
The Theory and Practice of Programming Languages with Delimited Continuations
– Dariusz Biernacki
- 2005
|
|
17
|
An operational foundation for delimited continuations in the CPS hierarchy
– Dariusz Biernacki, Olivier Danvy
- 2005
|
|
19
|
From Interpreter to Logic Engine by Defunctionalization
– Dariusz Biernacki, Olivier Danvy
- 2004
|
|
55
|
An abstract framework for environment machines
– Pierre-Louis Curien
- 1991
|
|
23
|
A rational deconstruction of Landin’s SECD machine
– Olivier Danvy, Kevin Millikin
- 2004
|
