A Rational Deconstruction of Landin’s J Operator (2006)

by Olivier Danvy , Kevin Millikin
Citations:3 - 2 self

Documents Related by Co-Citation

19 On the Dynamic Extent of Delimited Continuations – Dariusz Biernacki, Olivier Danvy - 2005
20 A concrete framework for environment machines – Małgorzata Biernacka, Olivier Danvy - 2005
9 Reflections on Landin’s J operator: a partly historical note – Matthias Felleisen - 1987
31 A scheme for a higher-level semantic algebra – William Clinger, Daniel P Friedman, Mitchell Wand - 1985
9 The Theory and Practice of Programming Languages with Delimited Continuations – Dariusz Biernacki - 2005
8 Partial Evaluation of String Matchers & Constructions of Abstract Machines – Mads Sig Ager - 2006
18 A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines – Małgorzata Biernacka, Olivier Danvy - 2005
21 Definitional interpreters revisited – John C. Reynolds, In Late, Jean Sammet, Burt Leavenworth, Art Evans - 1998
19 An Analytical Approach to Program as Data Objects. DSc thesis – Olivier Danvy - 2006
72 Control operators, the SECDmachine, and the λ-calculus – Matthias Felleisen, Daniel P Friedman - 1986
300 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
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
51 Back to Direct Style II: First-Class Continuations – Olivier Danvy, Julia L. Lawall - 1996
150 The theory and practice of first-class prompts – M Felleisen - 1988
56 Danvy and Andrzej Filinski. Abstracting control – Olivier - 1990
38 A functional correspondence between monadic evaluators and abstract machines for languages with computational effects – Mads Sig Ager, Olivier Danvy, Jan Midtgaard - 2005
65 A functional correspondence between evaluators and abstract machines – Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard - 2003
93 Rabbit: A compiler for Scheme – Guy L Steele Jr - 1978