Back to Direct Style (1994)

Cached

Download Links

by Olivier Danvy
Citations:49 - 22 self

Documents Related by Co-Citation

625 Compiling With Continuations – A W Appel - 1992
161 Reasoning about Programs in Continuation-Passing Style – Amr Sabry Sabry, Matthias Felleisen
300 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
105 Danvy and Andrzej Filinski. Representing control: A study of the CPS transformation – Olivier - 1992
65 A functional correspondence between evaluators and abstract machines – Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard - 2003
70 Defunctionalization at Work – Olivier Danvy, Lasse R. Nielsen - 2001
93 Rabbit: A compiler for Scheme – Guy L Steele Jr - 1978
41 The calculi of λv-CS conversion: A syntactic theory of control and state in imperative higher-order programming languages – M Felleisen - 1987
220 Call-by-name, call-by-value and the -calculus – G D Plotkin - 1975
51 Back to Direct Style II: First-Class Continuations – Olivier Danvy, Julia L. Lawall - 1996
101 Lambda-Calculus Schemata – Michael J. Fischer - 1993
72 Control operators, the SECDmachine, and the λ-calculus – Matthias Felleisen, Daniel P Friedman - 1986
34 A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines – Mads Sig Ager, Olivier Danvy, Jan Midtgaard - 2004
23 Functional runtime systems within the lambda–sigma calculus – T Hardin, L Maranget, B Pagano - 1998
201 Call-by-name, call-by-value and the λ-calculus – G Plotkin, D - 1975
333 The mechanical evaluation of expressions – P J Landin - 1964
117 Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types – Anders Bondorf, Olivier Danvy - 1990
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
36 Compilation of functional languages by program transformation – P Fradet, D Le Métayer - 1991