Olivier Danvy
Orcid: 0000-0002-3890-3630Affiliations:
- Aarhus University, Denmark
According to our database1,
Olivier Danvy
authored at least 133 papers
between 1987 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1990
1995
2000
2005
2010
2015
2020
0
5
10
4
2
1
1
1
1
2
2
1
3
4
6
6
6
4
4
2
4
1
2
2
3
2
1
1
3
2
1
2
1
1
3
2
1
3
1
1
1
2
2
5
4
6
1
3
5
2
3
3
2
2
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on daimi.au.dk
-
on andrej.com
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Proceedings of the A Second Soul: Celebrating the Many Languages of Programming, 2024
Proceedings of the Workshop Dedicated to Jens Palsberg on the Occasion of His 60th Birthday, 2024
2023
ACM Trans. Program. Lang. Syst., March, 2023
Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant - ERRATUM.
J. Funct. Program., 2023
J. Funct. Program., 2023
2022
Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant.
J. Funct. Program., 2022
2019
Mystery functions: making specifications, unit tests, and implementations coexist in the mind of undergraduate students.
Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019
2015
ACM Trans. Program. Lang. Syst., 2015
2014
Proceedings of the 20th International Conference on Types for Proofs and Programs, 2014
2013
ACM Trans. Comput. Log., 2013
Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013
Proceedings of the Logic-Based Program Synthesis and Transformation, 2013
Proceedings of the 25th Symposium on Implementation and Application of Functional Languages, 2013
2012
On inter-deriving small-step and big-step semantics: A case study for storeless call-by-need evaluation.
Theor. Comput. Sci., 2012
2011
J. Formaliz. Reason., 2011
Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011
Proceedings of the Generative Programming And Component Engineering, 2011
2010
J. Comput. Syst. Sci., 2010
Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010
2009
J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations.
Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009
Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines.
Proceedings of the Semantics and Algebraic Specification, 2009
Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines.
Proceedings of the Semantics and Algebraic Specification, 2009
2008
Log. Methods Comput. Sci., 2008
On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion.
Inf. Process. Lett., 2008
Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008
2007
Theor. Comput. Sci., 2007
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007
2006
ACM Trans. Program. Lang. Syst., 2006
Sci. Comput. Program., 2006
J. Funct. Program., 2006
Inf. Process. Lett., 2006
Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006
2005
A functional correspondence between monadic evaluators and abstract machines for languages with computational effects.
Theor. Comput. Sci., 2005
Log. Methods Comput. Sci., 2005
Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005
Proceedings of the Implementation and Application of Functional Languages, 2005
2004
Editorial: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation.
High. Order Symb. Comput., 2004
A functional correspondence between call-by-need evaluators and lazy abstract machines.
Inf. Process. Lett., 2004
Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, 2004
Proceedings of the Implementation and Application of Functional Languages, 2004
2003
J. Funct. Program., 2003
J. Funct. Program., 2003
Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003
Proceedings of the Logic Based Program Synthesis and Transformation, 2003
Proceedings of the Generative Programming and Component Engineering, 2003
Proceedings of the Programming Languages and Systems, 2003
Proceedings of the Compiler Construction, 12th International Conference, 2003
2002
Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, 2002
Proceedings of the Generative Programming and Component Engineering, 2002
Proceedings of the Essence of Computation, Complexity, Analysis, 2002
Proceedings of the Essence of Computation, Complexity, Analysis, 2002
2001
Proceedings of the Second International Workshop on Rule-Based Programming, 2001
Proceedings of the Typed Lambda Calculi and Applications, 5th International Conference, 2001
Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001
Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001
Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001
2000
Lambda-dropping: transforming recursive equations into programs with block structure.
Theor. Comput. Sci., 2000
Proceedings of the Programming Languages and Systems, 2000
1999
Proceedings of the Third Workshop on Higher-Order Operational Techniques in Semantics, 1999
Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999
Proceedings of the Programming Languages and Systems, 1999
1998
Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation.
Proceedings of the Types in Compilation, Second International Workshop, 1998
Proceedings of the Rewriting Techniques and Applications, 9th International Conference, 1998
Proceedings of the Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29, 1998
Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998
Online Type-Directed Partial Evaluation.
Proceedings of the Third Fuji International Symposium on Functional and Logic Programming, 1998
1997
Math. Struct. Comput. Sci., 1997
Partial Evaluation of the Euclidian Algorithm.
LISP Symb. Comput., 1997
1996
Proceedings of the Programming Languages: Implementations, 1996
Proceedings of the Partial Evaluation, International Seminar, 1996
1995
The Essence of Eta-Expansion in Partial Evaluation.
LISP Symb. Comput., 1995
1994
Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994
Proceedings of the 1994 ACM Conference on LISP and Functional Programming, 1994
Partial Evaluation for Program Speedups.
Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994
1993
Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993
Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993
Proceedings of the Mathematical Foundations of Programming Semantics, 1993
1992
Math. Struct. Comput. Sci., 1992
Partial Evaluation in Parallel.
LISP Symb. Comput., 1992
Thunks (Continued).
Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992
Proceedings of the Conference on Lisp and Functional Programming, 1992
1991
Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types.
Sci. Comput. Program., 1991
Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991
Proceedings of the Functional Programming Languages and Computer Architecture, 1991
1990
Proceedings of the 1990 ACM Conference on LISP and Functional Programming, 1990
Proceedings of the 1990 Internation Conference on Computer Languages, 1990
1989
1988
Proceedings of the 1988 ACM Conference on LISP and Functional Programming, 1988
1987
Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24, 1987