Documents Related by Co-Citation

308 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
214 Call-by-name, call-by-value and the λ-calculus – G Plotkin - 1975
70 A functional correspondence between evaluators and abstract machines – Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard - 2003
79 Control operators, the SECD machine, and the λcalculus – Matthias Felleisen, Daniel P Friedman - 1987
107 Danvy and Andrzej Filinski. Representing control: a study of the CPS transformation – Olivier - 1992
96 Rabbit: A compiler for Scheme – Guy L Steele Jr - 1978
28 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
349 The mechanical evaluation of expressions – P J Landin - 1964
34 A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines – Mads Sig Ager, Olivier Danvy, Jan Midtgaard - 2004