A functional correspondence between monadic evaluators and abstract machines for languages with computational effects (2005)

Cached

Download Links

by Mads Sig Ager , Olivier Danvy , Jan Midtgaard
Venue:Theoretical Computer Science
Citations:38 - 20 self

Active Bibliography

3 A Rational Deconstruction of Landin’s J Operator – Olivier Danvy, Kevin Millikin - 2006
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
18 A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines – Małgorzata Biernacka, Olivier Danvy - 2005
11 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations – Dariusz Biernacki, Olivier Danvy, Kevin Millikin - 2006
17 An Operational Foundation for Delimited Continuations – Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy - 2003
4 A study of syntactic and semantic artifacts and its application to lambda definability, strong normalization, and weak normalization in the presence of state – Johan Munk - 2008
13 Refunctionalization at Work – Olivier Danvy, Kevin Millikin - 2008
Towards Compatible and Interderivable . . . Part I: Denotational Semantics, Natural Semantics, and Abstract Machines – Olivier Danvy - 2008
1 Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines – Olivier Danvy - 2008
26 From Interpreter to Compiler and Virtual Machine: a Functional Derivation – Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard - 2003
19 On the Dynamic Extent of Delimited Continuations – Dariusz Biernacki, Olivier Danvy - 2005
34 A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines – Mads Sig Ager, Olivier Danvy, Jan Midtgaard - 2004
21 From Reduction-Based to Reduction-Free Normalization – Olivier Danvy - 2004
8 Syntactic Theories in Practice – Olivier Danvy, Lasse R. Nielsen - 2002
12 Refocusing in Reduction Semantics – Olivier Danvy, Lasse R. Nielsen - 2004
70 Defunctionalization at Work – Olivier Danvy, Lasse R. Nielsen - 2001
Basic Research in Computer Science – Sur Un Exemple, Patrick Greussay, Olivier Danvy, Copyright C, Olivier Danvy, Olivier Danvy - 909
20 A concrete framework for environment machines – Małgorzata Biernacka, Olivier Danvy - 2005
19 From Interpreter to Logic Engine by Defunctionalization – Dariusz Biernacki, Olivier Danvy - 2004