A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines (2004)

Cached

Download Links

by Mads Sig Ager , Olivier Danvy , Jan Midtgaard
Citations:34 - 22 self

Documents Related by Co-Citation

65 A functional correspondence between evaluators and abstract machines – Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard - 2003
38 A functional correspondence between monadic evaluators and abstract machines for languages with computational effects – Mads Sig Ager, Olivier Danvy, Jan Midtgaard - 2005
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
300 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
70 Defunctionalization at Work – Olivier Danvy, Lasse R. Nielsen - 2001
19 From Interpreter to Logic Engine by Defunctionalization – Dariusz Biernacki, Olivier Danvy - 2004
41 The calculi of λv-CS conversion: A syntactic theory of control and state in imperative higher-order programming languages – M Felleisen - 1987
72 Control operators, the SECDmachine, and the λ-calculus – Matthias Felleisen, Daniel P Friedman - 1986
333 The mechanical evaluation of expressions – P J Landin - 1964
26 From Interpreter to Compiler and Virtual Machine: a Functional Derivation – Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard - 2003
24 Programming languages and lambda calculi. Unpublished lecture notes – M Felleisen, M Flatt
201 Call-by-name, call-by-value and the λ-calculus – G Plotkin, D - 1975
105 Danvy and Andrzej Filinski. Representing control: A study of the CPS transformation – Olivier - 1992
18 An operational foundation for delimited continuations in the CPS hierarchy – Dariusz Biernacki, Olivier Danvy - 2005
93 Rabbit: A compiler for Scheme – Guy L Steele Jr - 1978
56 Danvy and Andrzej Filinski. Abstracting control – Olivier - 1990
31 Design and correctness of program transformations based on control-flow analysis – Anindya Banerjee, Nevin Heintze, Jon G Riecke - 2001
21 On Evaluation Contexts, Continuations, and the Rest of Computation – Olivier Danvy
23 Functional runtime systems within the lambda–sigma calculus – T Hardin, L Maranget, B Pagano - 1998