Danvy, Olivier

• BRICS Report Series No. 26 (2004): RS-26 Refocusing in Reduction Semantics - Articles
  Refocusing in Reduction Semantics
  Abstract  PDF
• BRICS Report Series No. 21 (1999): RS-21 An Extensional Characterization of Lambda-Lifting and Lambda-Dropping - Articles
  An Extensional Characterization of Lambda-Lifting and Lambda-Dropping
  Abstract  PDF
• BRICS Report Series No. 4 (2008): RS-4 Refunctionalization at Work - Articles
  Refunctionalization at Work
  Abstract  PDF
• BRICS Report Series No. 30 (2004): RS-30 From Reduction-Based to Reduction-Free Normalization - Articles
  From Reduction-Based to Reduction-Free Normalization
  Abstract  PDF
• BRICS Report Series No. 23 (1999): RS-23 On proving syntactic properties of CPS programs - Articles
  On proving syntactic properties of CPS programs
  Abstract  PDF
• BRICS Report Series No. 39 (2004): RS-39 CPS Transformation of Beta-Redexes - Articles
  CPS Transformation of Beta-Redexes
  Abstract  PDF
• BRICS Report Series No. 27 (1999): RS-27 Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure - Articles
  Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure
  Abstract  PDF
• BRICS Report Series No. 41 (2004): RS-41 Sur un Exemple de Patrick Greussay - Articles
  Sur un Exemple de Patrick Greussay
  Abstract  PDF
• BRICS Report Series No. 33 (2000): RS-33 A Higher-Order Colon Translation - Articles
  A Higher-Order Colon Translation
  Abstract  PDF
• BRICS Report Series No. 3 (2005): RS-3 There and Back Again - Articles
  There and Back Again
  Abstract  PDF
• BRICS Report Series No. 51 (1999): RS-51 Formalizing Implementation Strategies for First-Class Continuations - Articles
  Formalizing Implementation Strategies for First-Class Continuations
  Abstract  PDF
• BRICS Report Series No. 34 (2000): RS-34 A Simple Take on Typed Abstract Syntax in Haskell-like Languages - Articles
  A Simple Take on Typed Abstract Syntax in Haskell-like Languages
  Abstract  PDF
• BRICS Report Series No. 16 (2007): RS-16 On the Equivalence between Small-Step and Big-Step Abstract Machines: A Simple Application of Lightweight Fusion - Articles
  On the Equivalence between Small-Step and Big-Step Abstract Machines: A Simple Application of Lightweight Fusion
  Abstract  PDF
• BRICS Report Series No. 35 (2000): RS-35 CPS Transformation of Beta-Redexes - Articles
  CPS Transformation of Beta-Redexes
  Abstract  PDF
• BRICS Report Series No. 39 (2001): RS-39 There and Back Again - Articles
  There and Back Again
  Abstract  PDF
• BRICS Report Series No. 14 (2005): RS-14 On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation - Articles
  On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation
  Abstract  PDF
• BRICS Report Series No. 29 (2005): RS-29 On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation - Articles
  On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation
  Abstract  PDF
• BRICS Report Series No. 46 (1997): RS-46 Higher-Order Rewriting and Partial Evaluation - Articles
  Higher-Order Rewriting and Partial Evaluation
  Abstract  PDF
• BRICS Report Series No. 35 (1998): RS-35 An operational Investigation of the CPS Hierarchy - Articles
  An Operational Investigation of the CPS Hierarchy
  Abstract
• BRICS Report Series No. 16 (2001): RS-16 Normalization by Evaluation with Typed Abstract Syntax - Articles
  Normalization by Evaluation with Typed Abstract Syntax
  Abstract  PDF
• BRICS Report Series No. 41 (1995): RS-41 Eta-Expansion Does The Trick - Articles
  Eta-Expansion Does The Trick
  Abstract  PDF
• BRICS Report Series No. 14 (2007): RS-14 On Barron and Strachey's Cartesian Product Function - Articles
  On Barron and Strachey's Cartesian Product Function
  Abstract  PDF
• BRICS Report Series No. 2 (1998): RS-02 An Extensional Characterization of Lambda-Lifting and Lambda-Dropping - Articles
  An Extensional Characterization of Lambda-Lifting and Lambda-Dropping
  Abstract
• BRICS Report Series No. 14 (1996): RS-14 On the Idempotence of the CPS Transformation - Articles
  On the Idempotence of the CPS Transformation
  Abstract  PDF
• BRICS Report Series No. 5 (1998): RS-05 Formatting Strings in ML - Articles
  Formatting Strings in ML
  Abstract  PDF
• BRICS Report Series No. 53 (1997): RS-53 Online Type-Directed Partial Evaluation - Articles
  Online Type-Directed Partial Evaluation
  Abstract  PDF
• BRICS Report Series No. 4 (2006): RS-4 A Rational Deconstruction of Landin's J Operator - Articles
  A Rational Deconstruction of Landin's J Operator
  Abstract  PDF
• BRICS Report Series No. 23 (2001): RS-23 Defunctionalization at Work - Articles
  Defunctionalization at Work
  Abstract  PDF
• BRICS Report Series No. 17 (2006): RS-17 A Rational Deconstruction of Landin's J Operator - Articles
  A Rational Deconstruction of Landin's J Operator
  Abstract  PDF
• BRICS Report Series No. 6 (2007): RS-6 On One-Pass CPS Transformations - Articles
  On One-Pass CPS Transformations
  Abstract  PDF
• BRICS Report Series No. 7 (2007): RS-7 Refunctionalization at Work - Articles
  Refunctionalization at Work
  Abstract  PDF
• BRICS Report Series No. 8 (2007): RS-8 A Simple Application of Lightweight Fusion to Proving the Equivalence of Abstract Machines - Articles
  A Simple Application of Lightweight Fusion to Proving the Equivalence of Abstract Machines
  Abstract  PDF
• BRICS Report Series No. 49 (2001): RS-49 A First-Order One-Pass CPS Transformation - Articles
  A First-Order One-Pass CPS Transformation
  Abstract  PDF
• BRICS Report Series No. 29 (2001): RS-29 A Unifying Approach to Goal-Directed Evaluation - Articles
  A Unifying Approach to Goal-Directed Evaluation
  Abstract  PDF
• BRICS Report Series No. 31 (2001): RS-31 Syntactic Theories in Practice - Articles
  Syntactic Theories in Practice
  Abstract  PDF
• BRICS Report Series No. 1 (1998): RS-01 A Simple Solution to Type Specialization - Articles
  A Simple Solution to Type Specialization
  Abstract  PDF
• BRICS Report Series No. 52 (2002): RS-52 A New One-Pass Transformation into Monadic Normal Form - Articles
  A New One-Pass Transformation into Monadic Normal Form
  Abstract  PDF
• BRICS Report Series No. 53 (2002): RS-53 A Lambda-Revelation of the SECD Machine - Articles
  A Lambda-Revelation of the SECD Machine
  Abstract  PDF
• BRICS Report Series No. 2 (2003): RS-2 Tagging, Encoding, and Jones Optimality - Articles
  RS-2 Tagging, Encoding, and Jones Optimality
  Abstract  PDF
• BRICS Report Series No. 12 (1998): RS-12 Functional Unparsing - Articles
  Functional Unparsing
  Abstract  PDF
• BRICS Report Series No. 30 (2002): RS-30 Lambda-Lifting in Quadratic Time - Articles
  Lambda-Lifting in Quadratic Time
  Abstract  PDF
• BRICS Report Series No. 7 (2008): RS-7 Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: ... - Articles
  Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines
  Abstract  PDF
• BRICS Report Series No. 4 (2002): RS-4 Syntactic Theories in Practice - Articles
  Syntactic Theories in Practice
  Abstract  PDF
• BRICS Report Series No. 3 (2002): RS-3 On One-Pass CPS Transformations - Articles
  On One-Pass CPS Transformations
  Abstract  PDF
• BRICS Report Series No. 13 (1998): RS-13 Compiling Actions by Partial Evaluation, Revisited - Articles
  Compiling Actions by Partial Evaluation, Revisited
  Abstract  PDF
• BRICS Report Series No. 26 (2003): RS-26 Lambda-Lifting in Quadratic Time - Articles
  Lambda-Lifting in Quadratic Time
  Abstract  PDF
• BRICS Report Series No. 12 (2002): RS-12 There and Back Again - Articles
  There and Back Again
  Abstract  PDF
• BRICS Report Series No. 33 (2003): RS-33 A Rational Deconstruction of Landin's SECD Machine - Articles
  A Rational Deconstruction of Landin's SECD Machine
  Abstract  PDF
• BRICS Report Series No. 54 (1998): RS-54 Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure - Articles
  Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure
  Abstract
• BRICS Report Series No. 5 (2008): RS-5 Inter-Deriving Semantic Artifacts for Object-Oriented Programming - Articles
  Inter-Deriving Semantic Artifacts for Object-Oriented Programming
  Abstract  PDF
• BRICS Report Series No. 13 (1996): RS-13 Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation - Articles
  Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation
  Abstract  PDF
• BRICS Report Series No. 15 (1996): RS-15 Pragmatic Aspects of Type-Directed Partial Evaluation - Articles
  Pragmatic Aspects of Type-Directed Partial Evaluation
  Abstract  PDF
• BRICS Report Series No. 17 (1996): RS-17 Eta-Expansion Does The Trick (Revised Version) - Articles
  Eta-Expansion Does The Trick (Revised Version)
  Abstract  PDF
• BRICS Report Series No. 12 (2004): RS-12 Lambda-Lifting in Quadratic Time - Articles
  Lambda-Lifting in Quadratic Time
  Abstract  PDF
• BRICS Report Series No. 6 (1997): RS-06 Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure - Articles
  Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure
  Abstract  PDF
• BRICS Report Series No. 20 (1996): RS-20 Back to Direct Style II: First-Class Continuations - Articles
  Back to Direct Style II: First-Class Continuations
  Abstract  PDF
• BRICS Report Series No. 1 (1997): RS-01 Partial Evaluation of the Euclidian Algorithm (Extended Version) - Articles
  Partial Evaluation of the Euclidian Algorithm (Extended Version)
  Abstract  PDF
• BRICS Report Series No. 25 (2005): RS-25 A Simple Proof of a Folklore Theorem about Delimited Control - Articles
  A Simple Proof of a Folklore Theorem about Delimited Control
  Abstract  PDF
• BRICS Report Series No. 7 (1997): RS-07 Thunks and the lambda-Calculus (Extended Version) - Articles
  Thunks and the lambda-Calculus (Extended Version)
  Abstract  PDF
• BRICS Report Series No. 19 (1996): RS-19 Thunks and the lambda-Calculus - Articles
  Thunks and the lambda-Calculus
  Abstract  PDF
• BRICS Report Series No. 34 (1996): RS-34 A Computational Formalization for Partial Evaluation (Extended Version) - Articles
  A Computational Formalization for Partial Evaluation (Extended Version)
  Abstract  PDF
• BRICS Report Series No. 15 (2000): RS-15 Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation - Articles
  Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation
  Abstract  PDF
• BRICS Report Series No. 40 (2001): RS-40 CPS Transformation of Flow Information, Part II: Administrative Reductions - Articles
  CPS Transformation of Flow Information, Part II: Administrative Reductions
  Abstract  PDF
• BRICS Report Series No. 54 (2001): RS-54 Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation - Articles
  Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation
  Abstract  PDF
• BRICS Report Series No. 55 (2001): RS-55 A Simple CPS Transformation of Control-Flow Information - Articles
  A Simple CPS Transformation of Control-Flow Information
  Abstract  PDF
• BRICS Report Series No. 20 (2003): RS-20 Fast Partial Evaluation of Pattern Matching in Strings - Articles
  Fast Partial Evaluation of Pattern Matching in Strings
  Abstract  PDF
• BRICS Report Series No. 35 (2003): RS-35 A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational... - Articles
  A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects
  Abstract  PDF
• BRICS Report Series No. 32 (2002): RS-32 On Obtaining Knuth, Morris, and Pratt's String Matcher by Partial Evaluation - Articles
  On Obtaining Knuth, Morris, and Pratt's String Matcher by Partial Evaluation
  Abstract  PDF
• BRICS Report Series No. 3 (2004): RS-3 A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines - Articles
  A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines
  Abstract  PDF
• BRICS Report Series No. 5 (2004): RS-5 From Interpreter to Logic Engine by Defunctionalization - Articles
  From Interpreter to Logic Engine by Defunctionalization
  Abstract  PDF
• BRICS Report Series No. 33 (2002): RS-33 Memoization in Type-Directed Partial Evaluation - Articles
  Memoization in Type-Directed Partial Evaluation
  Abstract  PDF
• BRICS Report Series No. 36 (2002): RS-36 CPS Transformation of Flow Information, Part II: Administrative Reductions - Articles
  CPS Transformation of Flow Information, Part II: Administrative Reductions
  Abstract  PDF
• BRICS Report Series No. 37 (2002): RS-37 A Symmetric Approach to Compilation and Decompilation - Articles
  A Symmetric Approach to Compilation and Decompilation
  Abstract  PDF
• BRICS Report Series No. 28 (2004): RS-28 A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational... - Articles
  A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects
  Abstract  PDF
• BRICS Report Series No. 43 (1997): RS-43 Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation (Preliminary Version) - Articles
  Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation (Preliminary Version)
  Abstract  PDF
• BRICS Report Series No. 40 (2004): RS-40 Fast Partial Evaluation of Pattern Matching in Strings - Articles
  Fast Partial Evaluation of Pattern Matching in Strings
  Abstract  PDF
• BRICS Report Series No. 2 (2005): RS-2 On the Dynamic Extent of Delimited Continuations - Articles
  On the Dynamic Extent of Delimited Continuations
  Abstract  PDF
• BRICS Report Series No. 5 (2005): RS-5 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations (Preliminary Version) - Articles
  A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations (Preliminary Version)
  Abstract  PDF
• BRICS Report Series No. 10 (2005): RS-10 A Simple Proof of a Folklore Theorem about Delimited Control - Articles
  A Simple Proof of a Folklore Theorem about Delimited Control
  Abstract  PDF
• BRICS Report Series No. 12 (2005): RS-12 Program Extraction from Proofs of Weak Head Normalization - Articles
  Program Extraction from Proofs of Weak Head Normalization
  Abstract  PDF
• BRICS Report Series No. 13 (2005): RS-13 On the Dynamic Extent of Delimited Continuations - Articles
  On the Dynamic Extent of Delimited Continuations
  Abstract  PDF
• BRICS Report Series No. 15 (2005): RS-15 A Concrete Framework for Environment Machines - Articles
  A Concrete Framework for Environment Machines
  Abstract  PDF
• BRICS Report Series No. 16 (2005): RS-16 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations - Articles
  A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations
  Abstract  PDF
• BRICS Report Series No. 36 (2005): RS-36 On the Static and Dynamic Extents of Delimited Continuations - Articles
  On the Static and Dynamic Extents of Delimited Continuations
  Abstract  PDF
• BRICS Report Series No. 22 (2005): RS-22 A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines - Articles
  A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines
  Abstract  PDF
• BRICS Report Series No. 38 (2005): RS-38 A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines - Articles
  A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines
  Abstract  PDF
• BRICS Report Series No. 3 (2006): RS-3 A Concrete Framework for Environment Machines - Articles
  A Concrete Framework for Environment Machines
  Abstract  PDF
• BRICS Report Series No. 18 (2006): RS-18 Not published - Articles
  A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines
  Abstract
• BRICS Report Series No. 15 (2006): RS-15 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations - Articles
  A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations
  Abstract  PDF
• BRICS Report Series No. 11 (2003): RS-11 Fast Partial Evaluation of Pattern Matching in Strings - Articles
  Fast Partial Evaluation of Pattern Matching in Strings
  Abstract  PDF
• BRICS Report Series No. 25 (2003): RS-25 From Interpreter to Logic Engine by Defunctionalization - Articles
  From Interpreter to Logic Engine by Defunctionalization
  Abstract  PDF
• BRICS Report Series No. 24 (2003): RS-24 A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines - Articles
  A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines
  Abstract
• BRICS Report Series No. 41 (2003): RS-41 An Operational Foundation for Delimited Continuations - Articles
  An Operational Foundation for Delimited Continuations
  Abstract  PDF
• BRICS Report Series No. 14 (2003): RS-14 From Interpreter to Compiler and Virtual Machine: A Functional Derivation - Articles
  From Interpreter to Compiler and Virtual Machine: A Functional Derivation
  Abstract  PDF
• BRICS Report Series No. 13 (2003): RS-13 A Functional Correspondence between Evaluators and Abstract Machines - Articles
  A Functional Correspondence between Evaluators and Abstract Machines
  Abstract  PDF
• BRICS Report Series No. 15 (1998): RS-15 Assessing the Overhead of ML Exceptions by Selective CPS Transformation - Articles
  Assessing the Overhead of ML Exceptions by Selective CPS Transformation
  Abstract  PDF
• BRICS Report Series No. 12 (2001): RS-12 The Abstraction and Instantiation of String-Matching Programs - Articles
  The Abstraction and Instantiation of String-Matching Programs
  Abstract  PDF
• BRICS Report Series No. 24 (2005): RS-24 An Operational Foundation for Delimited Continuations in the CPS Hierarchy - Articles
  An Operational Foundation for Delimited Continuations in the CPS Hierarchy
  Abstract  PDF
• BRICS Report Series No. 11 (2005): RS-11 An Operational Foundation for Delimited Continuations in the CPS Hierarchy - Articles
  An Operational Foundation for Delimited Continuations in the CPS Hierarchy
  Abstract  PDF
• BRICS Report Series No. 29 (2004): RS-29 An Operational Foundation for Delimited Continuations in the CPS Hierarchy - Articles
  An Operational Foundation for Delimited Continuations in the CPS Hierarchy
  Abstract  PDF