Olivier Danvy

175 papers A* 7A 11B 10C 14Misc 4Journal 87Unranked 35
YearRankTypeTitle / Venue / Authors
2025 B conf
On a Simple Problem Due to Yves Bertot.
SAS
Olivier Danvy
2025 B conf
When Separation Arithmetic is Enough.
iFM
Jean-Christophe Filliâtre, Andrei Paskevich, Olivier Danvy
2024 — conf
Nested Summations.
JENSFEST
Olivier Danvy
2024 — conf
Summa Summarum: Moessner's Theorem without Dynamic Programming.
A Second Soul
Olivier Danvy
2023 J jnl
A Deforestation of Reducts: Refocusing.
CoRR
Olivier Danvy
2023 J jnl
Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant - ERRATUM.
J. Funct. Program.
Olivier Danvy
2023 J jnl
Folding left and right matters: Direct style, accumulators, and continuations.
J. Funct. Program.
Olivier Danvy
2023 J jnl
The Tortoise and the Hare Algorithm for Finite Lists, Compositionally.
ACM Trans. Program. Lang. Syst.
Olivier Danvy
2022 J jnl
Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant.
J. Funct. Program.
Olivier Danvy
2022 J jnl
Getting There and Back Again.
CoRR
Olivier Danvy
2022 J jnl
Getting There and Back Again.
Fundam. Informaticae
Olivier Danvy
2019 J jnl
Folding left and right over Peano numbers.
J. Funct. Program.
Olivier Danvy
2019 — conf
Mystery functions: making specifications, unit tests, and implementations coexist in the mind of undergraduate students.
IFL
Olivier Danvy
2016 — ed.
Proceedings of the Workshop on Continuations, WoC 2016, London, UK, April 12th 2015.
WoC
Olivier Danvy, Ugo de'Liguoro
2015 J jnl
A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations.
ACM Trans. Program. Lang. Syst.
Dariusz Biernacki, Olivier Danvy, Kevin Millikin
2014 J jnl
A characterization of Moessner's sieve.
Theor. Comput. Sci.
Christian Clausen, Olivier Danvy, Moe Masuko
2014 C ed.
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014
PPDP
Olaf Chitil, Andy King, Olivier Danvy
2014 — conf
Typeful Normalization by Evaluation.
TYPES
Olivier Danvy, Chantal Keller, Matthias Puech
2013 C conf
A synthetic operational account of call-by-need evaluation.
PPDP
Olivier Danvy, Ian Zerny
2013 — conf
Circularity and Lambda Abstraction: From Bird to Pettorossi and back.
IFL
Olivier Danvy, Peter Thiemann, Ian Zerny
2013 C conf
From Outermost Reduction Semantics to Abstract Machine.
LOPSTR
Olivier Danvy, Jacob Johannsen
2013 — ed.
Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, Manhattan, Kansas, USA, 19-20th September 2013.
Festschrift for Dave Schmidt
Anindya Banerjee, Olivier Danvy, Kyung-Goo Doh, John Hatcliff
2013 J jnl
Three syntactic theories for combinatory graph reduction.
ACM Trans. Comput. Log.
Olivier Danvy, Ian Zerny
2012 J jnl
On inter-deriving small-step and big-step semantics: A case study for storeless call-by-need evaluation.
Theor. Comput. Sci.
Olivier Danvy, Kevin Millikin, Johan Munk, Ian Zerny
2012 J jnl
On submissions and resubmissions.
ACM SIGPLAN Notices
Olivier Danvy
2012 — ed.
Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming, Scheme 2012, Copenhagen, Denmark, September 9-15, 2012
Scheme@ICFP
Olivier Danvy
2011 J jnl
A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration.
J. Formaliz. Reason.
Luca Chiarabini, Olivier Danvy
2011 C conf
A walk in the semantic park.
PEPM
Olivier Danvy, Jacob Johannsen, Ian Zerny
2011 J jnl
Abstracting abstract machines: technical perspective.
Commun. ACM
Olivier Danvy, Jan Midtgaard
2011 — ed.
Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
Formal Modeling: Actors, Open Systems, Biological Systems
Gul Agha, Olivier Danvy, José Meseguer
2011 B conf
Pragmatics for formal semantics.
GPCE
Olivier Danvy
2011 A ed.
Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011
ICFP
Manuel M. T. Chakravarty, Zhenjiang Hu, Olivier Danvy
2011 — ed.
Proceedings IFIP Working Conference on Domain-Specific Languages, DSL 2011, Bordeaux, France, 6-8th September 2011.
DSL
Olivier Danvy, Chung-chieh Shan
2010 Misc conf
Defunctionalized Interpreters for Call-by-Need Evaluation.
FLOPS
Olivier Danvy, Kevin Millikin, Johan Munk, Ian Zerny
2010 J jnl
Inter-deriving semantic artifacts for object-oriented programming.
J. Comput. Syst. Sci.
Olivier Danvy, Jacob Johannsen
2010 C conf
Three Syntactic Theories for Combinatory Graph Reduction.
LOPSTR
Olivier Danvy, Ian Zerny
2009 J jnl
Editorial.
High. Order Symb. Comput.
Olivier Danvy, Julian A. Padget
2009 J jnl
Editorial.
High. Order Symb. Comput.
Olivier Danvy, Carolyn L. Talcott
2009 J jnl
Editorial.
High. Order Symb. Comput.
Olivier Danvy, Carolyn L. Talcott
2009 J jnl
Editorial.
High. Order Symb. Comput.
Olivier Danvy, Carolyn L. Talcott
2009 — conf
J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations.
DSL
Olivier Danvy, Chung-chieh Shan, Ian Zerny
2009 J jnl
Peter J. Landin (1930-2009).
High. Order Symb. Comput.
Olivier Danvy
2009 J jnl
Refunctionalization at work.
Sci. Comput. Program.
Olivier Danvy, Kevin Millikin
2009 — conf
Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines.
Semantics and Algebraic Specification
Olivier Danvy
2009 — conf
Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines.
Semantics and Algebraic Specification
Malgorzata Biernacka, Olivier Danvy
2008 J jnl
A Rational Deconstruction of Landin's SECD Machine with the J Operator
CoRR
Olivier Danvy, Kevin Millikin
2008 J jnl
A Rational Deconstruction of Landin's SECD Machine with the J Operator.
Log. Methods Comput. Sci.
Olivier Danvy, Kevin Millikin
2008 A conf
Defunctionalized interpreters for programming languages.
ICFP
Olivier Danvy
2008 J jnl
Editorial.
High. Order Symb. Comput.
Olivier Danvy, R. Kent Dybvig, Julia Lawall, Peter Thiemann
2008 J jnl
Editorial.
High. Order Symb. Comput.
Olivier Danvy, Ian A. Mason
2008 — conf
From Reduction-Based to Reduction-Free Normalization.
Advanced Functional Programming
Olivier Danvy
2008 C conf
Inter-deriving Semantic Artifacts for Object-Oriented Programming.
WoLLIC
Olivier Danvy, Jacob Johannsen
2008 J jnl
On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion.
Inf. Process. Lett.
Olivier Danvy, Kevin Millikin
2007 J jnl
A concrete framework for environment machines.
ACM Trans. Comput. Log.
Malgorzata Biernacka, Olivier Danvy
2007 J jnl
A syntactic correspondence between context-sensitive calculi and abstract machines.
Theor. Comput. Sci.
Malgorzata Biernacka, Olivier Danvy
2007 J jnl
Editorial.
High. Order Symb. Comput.
Olivier Danvy
2007 J jnl
Editorial.
High. Order Symb. Comput.
Olivier Danvy, Hayo Thielecke
2007 A conf
On Barron and Strachey's cartesian product function.
ICFP
Olivier Danvy, J. Michael Spivey
2007 J jnl
On one-pass CPS transformations.
J. Funct. Program.
Olivier Danvy, Kevin Millikin, Lasse R. Nielsen
2007 J jnl
Preface.
Theor. Comput. Sci.
Olivier Danvy, Peter W. O'Hearn, Philip Wadler
2006 J jnl
Editorial.
High. Order Symb. Comput.
Olivier Danvy, Andrzej Filinski, Jean-Louis Giavitto, Andy King, Pierre-Etienne Moreau, Carolyn L. Talcott
2006 J jnl
Editorial.
High. Order Symb. Comput.
Olivier Danvy, Oege de Moor, Julian A. Padget, Peter Thiemann
2006 J jnl
Fast partial evaluation of pattern matching in strings.
ACM Trans. Program. Lang. Syst.
Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde
2006 J jnl
On obtaining the Boyer-Moore string-matching algorithm by partial evaluation.
Inf. Process. Lett.
Olivier Danvy, Henning Korsholm Rohde
2006 J jnl
On the static and dynamic extents of delimited continuations.
Sci. Comput. Program.
Dariusz Biernacki, Olivier Danvy, Chung-chieh Shan
2006 B conf
Refunctionalization at Work.
MPC
Olivier Danvy
2006 J jnl
Theoretical Pearl: A simple proof of a folklore theorem about delimited control.
J. Funct. Program.
Dariusz Biernacki, Olivier Danvy
2005 — conf
A Rational Deconstruction of Landin's J Operator.
IFL
Olivier Danvy, Kevin Millikin
2005 J jnl
A functional correspondence between monadic evaluators and abstract machines for languages with computational effects.
Theor. Comput. Sci.
Mads Sig Ager, Olivier Danvy, Jan Midtgaard
2005 J jnl
An Operational Foundation for Delimited Continuations in the CPS Hierarchy
CoRR
Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy
2005 J jnl
An Operational Foundation for Delimited Continuations in the CPS Hierarchy.
Log. Methods Comput. Sci.
Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy
2005 J jnl
CPS transformation of beta-redexes.
Inf. Process. Lett.
Olivier Danvy, Lasse R. Nielsen
2005 J jnl
Editorial.
High. Order Symb. Comput.
Olivier Danvy, Fritz Henglein, Harry G. Mairson, Alberto Pettorossi
2005 J jnl
On the dynamic extent of delimited continuations.
Inf. Process. Lett.
Dariusz Biernacki, Olivier Danvy, Chung-chieh Shan
2005 A ed.
Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005
ICFP
Olivier Danvy, Benjamin C. Pierce
2005 B conf
Program Extraction From Proofs of Weak Head Normalization.
MFPS
Malgorzata Biernacka, Olivier Danvy, Kristian Støvring
2005 J jnl
There and Back Again.
Fundam. Informaticae
Olivier Danvy, Mayer Goldberg
2004 — conf
A Rational Deconstruction of Landin's SECD Machine.
IFL
Olivier Danvy
2004 J jnl
A functional correspondence between call-by-need evaluators and lazy abstract machines.
Inf. Process. Lett.
Mads Sig Ager, Olivier Danvy, Jan Midtgaard
2004 J jnl
Editorial.
High. Order Symb. Comput.
David A. Basin, Olivier Danvy, Robert Harper
2004 J jnl
Editorial.
High. Order Symb. Comput.
Olivier Danvy, Ian A. Mason
2004 J jnl
Editorial: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation.
High. Order Symb. Comput.
Wei-Ngan Chin, Olivier Danvy, Peter Thiemann
2004 — conf
From Reduction-based to Reduction-free Normalization.
WRS
Olivier Danvy
2004 J jnl
Lambda-Lifting in Quadratic Time.
J. Funct. Log. Program.
Olivier Danvy, Ulrik Pagh Schultz
2003 B conf
A Journey from Interpreters to Compilers and Virtual Machines.
GPCE
Olivier Danvy
2003 B conf
A New One-Pass Transformation into Monadic Normal Form.
CC
Olivier Danvy
2003 J jnl
A first-order one-pass CPS transformation.
Theor. Comput. Sci.
Olivier Danvy, Lasse R. Nielsen
2003 C conf
A functional correspondence between evaluators and abstract machines.
PPDP
Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard
2003 J jnl
CPS transformation of flow information, Part II: administrative reductions.
J. Funct. Program.
Daniel Damian, Olivier Danvy
2003 J jnl
Editorial: Special Issue Dedicated to Bob Paige.
High. Order Symb. Comput.
Olivier Danvy, Fritz Henglein, Harry G. Mairson, Alberto Pettorossi
2003 C conf
Fast partial evaluation of pattern matching in strings.
PEPM
Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde
2003 C conf
From Interpreter to Logic Engine by Defunctionalization.
LOPSTR
Dariusz Biernacki, Olivier Danvy
2003 J jnl
Syntactic accidents in program analysis: on the impact of the CPS transformation.
J. Funct. Program.
Daniel Damian, Olivier Danvy
2003 A conf
Tagging, Encoding, and Jones Optimality.
ESOP
Olivier Danvy, Pablo E. Martínez López
2002 B conf
A First-Order One-Pass CPS Transformation.
FoSSaCS
Olivier Danvy, Lasse R. Nielsen
2002 J jnl
A Simple CPS Transformation of Control-Flow Information.
Log. J. IGPL
Daniel Damian, Olivier Danvy
2002 — conf
A Symmetric Approach to Compilation and Decompilation.
The Essence of Computation
Mads Sig Ager, Olivier Danvy, Mayer Goldberg
2002 J jnl
Editorial.
High. Order Symb. Comput.
Olivier Danvy, Takayasu Ito, Carolyn L. Talcott
2002 J jnl
Editorial.
High. Order Symb. Comput.
Olivier Danvy, Amr Sabry
2002 J jnl
Editorial.
High. Order Symb. Comput.
Olivier Danvy, Carolyn L. Talcott
2002 Misc conf
Lambda-Lifting in Quadratic Time.
FLOPS
Olivier Danvy, Ulrik Pagh Schultz
2002 B conf
Memoization in Type-Directed Partial Evaluation.
GPCE
Vincent Balat, Olivier Danvy
2002 — conf
On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation.
ASIA-PEPM
Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde
2002 — conf
The Abstraction and Instantiation of String-Matching Programs.
The Essence of Computation
Torben Amtoft, Charles Consel, Olivier Danvy, Karoline Malmkjær
2002 A conf
There and back again.
ICFP
Olivier Danvy, Mayer Goldberg
2001 Misc conf
A Higher-Order Colon Translation.
FLOPS
Olivier Danvy, Lasse R. Nielsen
2001 Misc conf
A Simple Take on Typed Abstract Syntax in Haskell-like Languages.
FLOPS
Olivier Danvy, Morten Rhiger
2001 — conf
A Unifying Approach to Goal-Directed Evaluation.
SAIG
Olivier Danvy, Bernd Grobauer, Morten Rhiger
2001 J jnl
A Unifying Approach to Goal-directed Evaluation.
New Gener. Comput.
Olivier Danvy, Bernd Grobauer, Morten Rhiger
2001 C conf
Defunctionalization at Work.
PPDP
Olivier Danvy, Lasse R. Nielsen
2001 J jnl
Editorial.
High. Order Symb. Comput.
Olivier Danvy, Takayasu Ito, Carolyn L. Talcott
2001 J jnl
Editorial.
High. Order Symb. Comput.
Olivier Danvy, Julia L. Lawall
2001 J jnl
Editorial.
High. Order Symb. Comput.
Olivier Danvy, Carolyn L. Talcott
2001 — conf
Many Happy Returns.
TLCA
Olivier Danvy
2001 J jnl
Normalization by evaluation with typed abstract syntax.
J. Funct. Program.
Olivier Danvy, Morten Rhiger, Kristoffer Høgsbro Rose
2001 — ed.
Programs as Data Objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings
PADO
Olivier Danvy, Andrzej Filinski
2001 — conf
Static Transition Compression.
SAIG
Daniel Damian, Olivier Danvy
2001 — conf
Syntactic Theories in Practice.
RULE@PLI
Olivier Danvy, Lasse R. Nielsen
2000 J jnl
Editorial.
High. Order Symb. Comput.
Olivier Danvy, Carolyn L. Talcott
2000 J jnl
Editorial.
High. Order Symb. Comput.
Olivier Danvy, Carolyn L. Talcott
2000 J jnl
Editorial.
High. Order Symb. Comput.
Olivier Danvy, Carolyn L. Talcott
2000 A conf
Formalizing Implementation Strategies for First-Class Continuations.
ESOP
Olivier Danvy
2000 J jnl
Lambda-dropping: transforming recursive equations into programs with block structure.
Theor. Comput. Sci.
Olivier Danvy, Ulrik Pagh Schultz
2000 A conf
Syntactic accidents in program analysis: on the impact of the CPS transformation.
ICFP
Daniel Damian, Olivier Danvy
1999 — conf
An Extensional Characterization of Lambda-Lifting and Lambda-Dropping.
Fuji International Symposium on Functional and Logic Programming
Olivier Danvy
1999 A conf
An Operational Investigation of the CPS Hierarchy.
ESOP
Olivier Danvy, Zhe Yang
1999 J jnl
Editorial.
High. Order Symb. Comput.
Olivier Danvy, Carolyn L. Talcott
1999 J jnl
Editorial.
High. Order Symb. Comput.
Olivier Danvy, Carolyn L. Talcott
1999 J jnl
Editorial.
High. Order Symb. Comput.
Olivier Danvy, Carolyn L. Talcott
1999 J jnl
Introduction.
High. Order Symb. Comput.
Olivier Danvy, Carolyn L. Talcott
1999 — conf
On proving syntactic properties of CPS programs.
HOOTS
Olivier Danvy, Belmina Dzafic, Frank Pfenning
1999 C ed.
Proceedings of the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, San Antonio, Texas, USA, January 22-23, 1999. Technical report BRICS-NS-99-1
PEPM
Olivier Danvy
1998 J jnl
1998 Symposium on Partial Evaluation.
ACM Comput. Surv.
Olivier Danvy, Robert Glück, Peter Thiemann
1998 A* conf
A Simple Solution to Type Specialization.
ICALP
Olivier Danvy
1998 J jnl
Functional Unparsing.
J. Funct. Program.
Olivier Danvy
1998 — conf
Higher-Order Rewriting and Partial Evaluation.
RTA
Olivier Danvy, Kristoffer Høgsbro Rose
1998 — conf
Online Type-Directed Partial Evaluation.
Fuji International Symposium on Functional and Logic Programming
Olivier Danvy
1998 — conf
Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation.
Types in Compilation
Vincent Balat, Olivier Danvy
1998 — conf
Type-Directed Partial Evaluation.
Partial Evaluation
Olivier Danvy
1997 J jnl
A Computational Formalization for Partial Evaluation.
Math. Struct. Comput. Sci.
John Hatcliff, Olivier Danvy
1997 C conf
Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure.
PEPM
Olivier Danvy, Ulrik Pagh Schultz
1997 J jnl
Partial Evaluation of the Euclidian Algorithm.
LISP Symb. Comput.
Olivier Danvy, Mayer Goldberg
1997 J jnl
Thunks and the lambda-Calculus.
J. Funct. Program.
John Hatcliff, Olivier Danvy
1996 J jnl
Eta-Expansion Does The Trick.
ACM Trans. Program. Lang. Syst.
Olivier Danvy, Karoline Malmkjær, Jens Palsberg
1996 — ed.
Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers
Dagstuhl Seminar on Partial Evaluation
Olivier Danvy, Robert Glück, Peter Thiemann
1996 — conf
Pragmatics of Type-Directed Partial Evaluation.
Dagstuhl Seminar on Partial Evaluation
Olivier Danvy
1996 J jnl
Resource-Bounded Partial Evaluation.
ACM Comput. Surv.
Olivier Danvy, Nevin Hentze, Karoline Malmkjær
1996 — conf
Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation.
PLILP
Olivier Danvy, René Vestergaard
1996 A* conf
Type-Directed Partial Evaluation.
POPL
Olivier Danvy
1995 J jnl
The Essence of Eta-Expansion in Partial Evaluation.
LISP Symb. Comput.
Olivier Danvy, Karoline Malmkjær, Jens Palsberg
1994 A* conf
A Generic Account of Continuation-Passing Styles.
POPL
John Hatcliff, Olivier Danvy
1994 J jnl
Back to Direct Style.
Sci. Comput. Program.
Olivier Danvy
1994 — conf
Continuation-Based Partial Evaluation.
LISP and Functional Programming
Julia L. Lawall, Olivier Danvy
1994 — conf
Partial Evaluation for Program Speedups.
IFIP Congress (1)
Olivier Danvy
1994 C conf
The Essence of Eta-Expansion in Partial Evaluation.
PEPM
Olivier Danvy, Karoline Malmkjær, Jens Palsberg
1993 B conf
On the Transformation between Direct and Continuation Semantics.
MFPS
Olivier Danvy, John Hatcliff
1993 A* conf
Separating Stages in the Continuation-Passing Style Transformation.
POPL
Julia L. Lawall, Olivier Danvy
1993 A* conf
Tutorial Notes on Partial Evaluation.
POPL
Charles Consel, Olivier Danvy
1992 — conf
Back to Direct Style II: First-Class Continuations.
LISP and Functional Programming
Olivier Danvy, Julia L. Lawall
1992 A conf
Back to Direct Style.
ESOP
Olivier Danvy
1992 J jnl
CPS-Transformation After Strictness Analysis.
LOPLAS
Olivier Danvy, John Hatcliff
1992 J jnl
Partial Evaluation in Parallel.
LISP Symb. Comput.
Charles Consel, Olivier Danvy
1992 J jnl
Representing Control: A Study of the CPS Transformation.
Math. Struct. Comput. Sci.
Olivier Danvy, Andrzej Filinski
1992 — conf
Thunks (Continued).
WSA
Olivier Danvy, John Hatcliff
1991 J jnl
Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types.
Sci. Comput. Program.
Anders Bondorf, Olivier Danvy
1991 — conf
For a Better Support of Static Data Flow.
FPCA
Charles Consel, Olivier Danvy
1991 C ed.
Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991
PEPM
Charles Consel, Olivier Danvy
1991 J jnl
Semantics-Directed Compilation of Nonlinear Patterns.
Inf. Process. Lett.
Olivier Danvy
1991 A* conf
Static and Dynamic Semantics Processing.
POPL
Charles Consel, Olivier Danvy
1990 — conf
A Self-Applicable Partial Evaluator for the Lambda Calculus.
ICCL
Neil D. Jones, Carsten K. Gomard, Anders Bondorf, Olivier Danvy, Torben Æ. Mogensen
1990 — conf
Abstracting Control.
LISP and Functional Programming
Olivier Danvy, Andrzej Filinski
1990 A conf
From Interpreting to Compiling Binding Times.
ESOP
Charles Consel, Olivier Danvy
1989 J jnl
Partial Evaluation of Pattern Matching in Strings.
Inf. Process. Lett.
Charles Consel, Olivier Danvy
1988 — conf
Intensions and Extensions in a Reflective Tower.
LISP and Functional Programming
Olivier Danvy, Karoline Malmkjær
1987 A* conf
Memory allocation and higher-order functions.
PLDI
Olivier Danvy