A study of syntactic and semantic artifacts and its application to lambda definability, strong normalization, and weak normalization in the presence of state (2008)

by Johan Munk
Citations:4 - 0 self

Active Bibliography

27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
26 From Interpreter to Compiler and Virtual Machine: a Functional Derivation – Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard - 2003
3 A Rational Deconstruction of Landin’s J Operator – Olivier Danvy, Kevin Millikin - 2006
18 A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines – Małgorzata Biernacka, Olivier Danvy - 2005
17 An Operational Foundation for Delimited Continuations – Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy - 2003
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
38 A functional correspondence between monadic evaluators and abstract machines for languages with computational effects – Mads Sig Ager, Olivier Danvy, Jan Midtgaard - 2005
13 Refunctionalization at Work – Olivier Danvy, Kevin Millikin - 2008
20 A concrete framework for environment machines – Małgorzata Biernacka, Olivier Danvy - 2005
70 Defunctionalization at Work – Olivier Danvy, Lasse R. Nielsen - 2001
6 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993
11 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations – Dariusz Biernacki, Olivier Danvy, Kevin Millikin - 2006
An Investigation of Abadi and . . . – Jacob Johannsen - 2008
3 A lambda-revelation of the SECD machine – Olivier Danvy - 2003
21 Definitional interpreters revisited – John C. Reynolds, In Late, Jean Sammet, Burt Leavenworth, Art Evans - 1998
12 Refocusing in Reduction Semantics – Olivier Danvy, Lasse R. Nielsen - 2004
34 A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines – Mads Sig Ager, Olivier Danvy, Jan Midtgaard - 2004
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – Claus Reinke - 1998
Type Theory for Programming Languages – Robert Harper - 1994