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
105 Danvy and Andrzej Filinski. Representing control: A study of the CPS transformation – Olivier - 1992
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
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
70 Defunctionalization at Work – Olivier Danvy, Lasse R. Nielsen - 2001
18 An operational foundation for delimited continuations in the CPS hierarchy – Dariusz Biernacki, Olivier Danvy - 2005
299 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
199 Call-by-name, call-by-value and the λ-calculus – G Plotkin - 1975
51 Back to Direct Style II: First-Class Continuations – Olivier Danvy, Julia L. Lawall - 1996
149 The theory and practice of first-class prompts – M Felleisen - 1988
65 A functional correspondence between evaluators and abstract machines – Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard - 2003