Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Olivier Danvy
@article{DBLP:journals/jfp/Danvy23,
author = {Olivier Danvy},
title = {Folding left and right matters: Direct style, accumulators, and continuations},
journal = {J. Funct. Program.},
volume = {33},
pages = {e2},
year = {2023},
url = {https://doi.org/10.1017/S0956796822000156},
doi = {10.1017/S0956796822000156},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/Danvy23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Danvy23a,
author = {Olivier Danvy},
title = {Fold-unfold lemmas for reasoning about recursive programs using the
Coq proof assistant - {ERRATUM}},
journal = {J. Funct. Program.},
volume = {33},
pages = {e3},
year = {2023},
url = {https://doi.org/10.1017/S0956796823000011},
doi = {10.1017/S0956796823000011},
timestamp = {Tue, 28 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Danvy23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Danvy23,
author = {Olivier Danvy},
title = {The Tortoise and the Hare Algorithm for Finite Lists, Compositionally},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {45},
number = {1},
pages = {1:1--1:35},
year = {2023},
url = {https://doi.org/10.1145/3564619},
doi = {10.1145/3564619},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/Danvy23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-10455,
author = {Olivier Danvy},
title = {A Deforestation of Reducts: Refocusing},
journal = {CoRR},
volume = {abs/2302.10455},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.10455},
doi = {10.48550/ARXIV.2302.10455},
eprinttype = {arXiv},
eprint = {2302.10455},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-10455.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Danvy22,
author = {Olivier Danvy},
title = {Getting There and Back Again},
journal = {Fundam. Informaticae},
volume = {185},
number = {2},
pages = {115--183},
year = {2022},
url = {https://doi.org/10.3233/FI-222106},
doi = {10.3233/FI-222106},
timestamp = {Thu, 19 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Danvy22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Danvy22,
author = {Olivier Danvy},
title = {Fold-unfold lemmas for reasoning about recursive programs using the
Coq proof assistant},
journal = {J. Funct. Program.},
volume = {32},
pages = {e13},
year = {2022},
url = {https://doi.org/10.1017/S0956796822000107},
doi = {10.1017/S0956796822000107},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/Danvy22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-00145,
author = {Olivier Danvy},
title = {Getting There and Back Again},
journal = {CoRR},
volume = {abs/2203.00145},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.00145},
doi = {10.48550/ARXIV.2203.00145},
eprinttype = {arXiv},
eprint = {2203.00145},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-00145.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Danvy19,
author = {Olivier Danvy},
title = {Folding left and right over Peano numbers},
journal = {J. Funct. Program.},
volume = {29},
pages = {e6},
year = {2019},
url = {https://doi.org/10.1017/S0956796819000042},
doi = {10.1017/S0956796819000042},
timestamp = {Thu, 16 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Danvy19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/Danvy19,
author = {Olivier Danvy},
editor = {Jurri{\"{e}}n Stutterheim and
Wei{-}Ngan Chin},
title = {Mystery functions: making specifications, unit tests, and implementations
coexist in the mind of undergraduate students},
booktitle = {{IFL} '19: Implementation and Application of Functional Languages,
Singapore, September 25-27, 2019},
pages = {2:1--2:9},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3412932.3412934},
doi = {10.1145/3412932.3412934},
timestamp = {Wed, 21 Jul 2021 16:22:45 +0200},
biburl = {https://dblp.org/rec/conf/ifl/Danvy19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/Danvyd16,
editor = {Olivier Danvy and
Ugo de'Liguoro},
title = {Proceedings of the Workshop on Continuations, WoC 2016, London, UK,
April 12th 2015},
series = {{EPTCS}},
volume = {212},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.212},
doi = {10.4204/EPTCS.212},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Danvyd16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BiernackiDM15,
author = {Dariusz Biernacki and
Olivier Danvy and
Kevin Millikin},
title = {A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {38},
number = {1},
pages = {2:1--2:25},
year = {2015},
url = {https://doi.org/10.1145/2794078},
doi = {10.1145/2794078},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/BiernackiDM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ClausenDM14,
author = {Christian Clausen and
Olivier Danvy and
Moe Masuko},
title = {A characterization of Moessner's sieve},
journal = {Theor. Comput. Sci.},
volume = {546},
pages = {244--256},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2014.03.012},
doi = {10.1016/J.TCS.2014.03.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ClausenDM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/DanvyKP14,
author = {Olivier Danvy and
Chantal Keller and
Matthias Puech},
editor = {Hugo Herbelin and
Pierre Letouzey and
Matthieu Sozeau},
title = {Typeful Normalization by Evaluation},
booktitle = {20th International Conference on Types for Proofs and Programs, {TYPES}
2014, May 12-15, 2014, Paris, France},
series = {LIPIcs},
volume = {39},
pages = {72--88},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2014.72},
doi = {10.4230/LIPICS.TYPES.2014.72},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/types/DanvyKP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2014,
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
publisher = {{ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2643135},
isbn = {978-1-4503-2947-7},
timestamp = {Wed, 29 Mar 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/DanvyZ13,
author = {Olivier Danvy and
Ian Zerny},
title = {Three syntactic theories for combinatory graph reduction},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {4},
pages = {29:1--29:27},
year = {2013},
url = {https://doi.org/10.1145/2528932},
doi = {10.1145/2528932},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/DanvyZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/DanvyTZ13,
author = {Olivier Danvy and
Peter Thiemann and
Ian Zerny},
editor = {Rinus Plasmeijer},
title = {Circularity and Lambda Abstraction: From Bird to Pettorossi and back},
booktitle = {Proceedings of the 25th Symposium on Implementation and Application
of Functional Languages, Nijmegen, The Netherlands, August 28-30,
2013},
pages = {85},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2620678.2620687},
doi = {10.1145/2620678.2620687},
timestamp = {Mon, 23 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifl/DanvyTZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/DanvyJ13,
author = {Olivier Danvy and
Jacob Johannsen},
editor = {Gopal Gupta and
Ricardo Pe{\~{n}}a},
title = {From Outermost Reduction Semantics to Abstract Machine},
booktitle = {Logic-Based Program Synthesis and Transformation, 23rd International
Symposium, {LOPSTR} 2013, Madrid, Spain, September 18-19, 2013, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8901},
pages = {91--108},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-14125-1\_6},
doi = {10.1007/978-3-319-14125-1\_6},
timestamp = {Wed, 26 Oct 2022 22:55:46 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/DanvyJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/DanvyZ13,
author = {Olivier Danvy and
Ian Zerny},
editor = {Ricardo Pe{\~{n}}a and
Tom Schrijvers},
title = {A synthetic operational account of call-by-need evaluation},
booktitle = {15th International Symposium on Principles and Practice of Declarative
Programming, {PPDP} '13, Madrid, Spain, September 16-18, 2013},
pages = {97--108},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2505879.2505898},
doi = {10.1145/2505879.2505898},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/DanvyZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BanerjeeDDH13,
editor = {Anindya Banerjee and
Olivier Danvy and
Kyung{-}Goo Doh and
John Hatcliff},
title = {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},
series = {{EPTCS}},
volume = {129},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.129},
doi = {10.4204/EPTCS.129},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BanerjeeDDH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Danvy12,
author = {Olivier Danvy},
title = {On submissions and resubmissions},
journal = {{ACM} {SIGPLAN} Notices},
volume = {47},
number = {4a},
pages = {28--29},
year = {2012},
url = {https://doi.org/10.1145/2442776.2442780},
doi = {10.1145/2442776.2442780},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Danvy12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DanvyMMZ12,
author = {Olivier Danvy and
Kevin Millikin and
Johan Munk and
Ian Zerny},
title = {On inter-deriving small-step and big-step semantics: {A} case study
for storeless call-by-need evaluation},
journal = {Theor. Comput. Sci.},
volume = {435},
pages = {21--42},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.02.023},
doi = {10.1016/J.TCS.2012.02.023},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DanvyMMZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2012scheme,
editor = {Olivier Danvy},
title = {Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming,
Scheme 2012, Copenhagen, Denmark, September 9-15, 2012},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2661103},
doi = {10.1145/2661103},
isbn = {978-1-4503-1895-2},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/2012scheme.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/DanvyM11,
author = {Olivier Danvy and
Jan Midtgaard},
title = {Abstracting abstract machines: technical perspective},
journal = {Commun. {ACM}},
volume = {54},
number = {9},
pages = {100},
year = {2011},
url = {https://doi.org/10.1145/1995376.1995399},
doi = {10.1145/1995376.1995399},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/DanvyM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfrea/ChiarabiniD11,
author = {Luca Chiarabini and
Olivier Danvy},
title = {A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration},
journal = {J. Formaliz. Reason.},
volume = {4},
number = {1},
pages = {85--109},
year = {2011},
url = {https://doi.org/10.6092/issn.1972-5787/2225},
doi = {10.6092/ISSN.1972-5787/2225},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfrea/ChiarabiniD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/Danvy11,
author = {Olivier Danvy},
editor = {Ewen Denney and
Ulrik Pagh Schultz},
title = {Pragmatics for formal semantics},
booktitle = {Generative Programming And Component Engineering, Proceedings of the
10th International Conference on Generative Programming and Component
Engineering, {GPCE} 2011, Portland, Oregon, USA, October 22-24, 2011},
pages = {93--94},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2047862.2047878},
doi = {10.1145/2047862.2047878},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/gpce/Danvy11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/DanvyJZ11,
author = {Olivier Danvy and
Jacob Johannsen and
Ian Zerny},
editor = {Siau{-}Cheng Khoo and
Jeremy G. Siek},
title = {A walk in the semantic park},
booktitle = {Proceedings of the 2011 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2011, Austin, TX, USA, January 24-25,
2011},
pages = {1--12},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1929501.1929503},
doi = {10.1145/1929501.1929503},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/DanvyJZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2011talcott,
editor = {Gul Agha and
Olivier Danvy and
Jos{\'{e}} Meseguer},
title = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays
Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7000},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24933-4},
doi = {10.1007/978-3-642-24933-4},
isbn = {978-3-642-24932-7},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2011talcott.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2011,
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773},
doi = {10.1145/2034773},
isbn = {978-1-4503-0865-6},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1109-0323,
editor = {Olivier Danvy and
Chung{-}chieh Shan},
title = {Proceedings {IFIP} Working Conference on Domain-Specific Languages,
{DSL} 2011, Bordeaux, France, 6-8th September 2011},
series = {{EPTCS}},
volume = {66},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.66},
doi = {10.4204/EPTCS.66},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-0323.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DanvyJ10,
author = {Olivier Danvy and
Jacob Johannsen},
title = {Inter-deriving semantic artifacts for object-oriented programming},
journal = {J. Comput. Syst. Sci.},
volume = {76},
number = {5},
pages = {302--323},
year = {2010},
url = {https://doi.org/10.1016/j.jcss.2009.10.004},
doi = {10.1016/J.JCSS.2009.10.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/DanvyJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/DanvyMMZ10,
author = {Olivier Danvy and
Kevin Millikin and
Johan Munk and
Ian Zerny},
editor = {Matthias Blume and
Naoki Kobayashi and
Germ{\'{a}}n Vidal},
title = {Defunctionalized Interpreters for Call-by-Need Evaluation},
booktitle = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6009},
pages = {240--256},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12251-4\_18},
doi = {10.1007/978-3-642-12251-4\_18},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/DanvyMMZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/DanvyZ10,
author = {Olivier Danvy and
Ian Zerny},
editor = {Mar{\'{\i}}a Alpuente},
title = {Three Syntactic Theories for Combinatory Graph Reduction},
booktitle = {Logic-Based Program Synthesis and Transformation - 20th International
Symposium, {LOPSTR} 2010, Hagenberg, Austria, July 23-25, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6564},
pages = {1--20},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-20551-4\_1},
doi = {10.1007/978-3-642-20551-4\_1},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/DanvyZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyP09,
author = {Olivier Danvy and
Julian A. Padget},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {22},
number = {1},
pages = {1},
year = {2009},
url = {https://doi.org/10.1007/s10990-009-9041-0},
doi = {10.1007/S10990-009-9041-0},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyT09,
author = {Olivier Danvy and
Carolyn L. Talcott},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {22},
number = {2},
pages = {113},
year = {2009},
url = {https://doi.org/10.1007/s10990-009-9045-9},
doi = {10.1007/S10990-009-9045-9},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Danvy09,
author = {Olivier Danvy},
title = {Peter J. Landin {(1930-2009)}},
journal = {High. Order Symb. Comput.},
volume = {22},
number = {2},
pages = {191--195},
year = {2009},
url = {https://doi.org/10.1007/s10990-009-9048-6},
doi = {10.1007/S10990-009-9048-6},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Danvy09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyT09a,
author = {Olivier Danvy and
Carolyn L. Talcott},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {22},
number = {3},
pages = {197},
year = {2009},
url = {https://doi.org/10.1007/s10990-010-9051-y},
doi = {10.1007/S10990-010-9051-Y},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyT09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyT09b,
author = {Olivier Danvy and
Carolyn L. Talcott},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {22},
number = {4},
pages = {293},
year = {2009},
url = {https://doi.org/10.1007/s10990-010-9052-x},
doi = {10.1007/S10990-010-9052-X},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyT09b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DanvyM09,
author = {Olivier Danvy and
Kevin Millikin},
title = {Refunctionalization at work},
journal = {Sci. Comput. Program.},
volume = {74},
number = {8},
pages = {534--549},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2007.10.007},
doi = {10.1016/J.SCICO.2007.10.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/DanvyM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Danvy09,
author = {Olivier Danvy},
editor = {Jens Palsberg},
title = {Towards Compatible and Interderivable Semantic Specifications for
the Scheme Programming Language, Part {I:} Denotational Semantics,
Natural Semantics, and Abstract Machines},
booktitle = {Semantics and Algebraic Specification, Essays Dedicated to Peter D.
Mosses on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5700},
pages = {162--185},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04164-8\_9},
doi = {10.1007/978-3-642-04164-8\_9},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Danvy09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BiernackaD09,
author = {Malgorzata Biernacka and
Olivier Danvy},
editor = {Jens Palsberg},
title = {Towards Compatible and Interderivable Semantic Specifications for
the Scheme Programming Language, Part {II:} Reduction Semantics and
Abstract Machines},
booktitle = {Semantics and Algebraic Specification, Essays Dedicated to Peter D.
Mosses on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5700},
pages = {186--206},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04164-8\_10},
doi = {10.1007/978-3-642-04164-8\_10},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BiernackaD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsl/DanvySZ09,
author = {Olivier Danvy and
Chung{-}chieh Shan and
Ian Zerny},
editor = {Walid Mohamed Taha},
title = {J Is for JavaScript: {A} Direct-Style Correspondence between Algol-Like
Languages and JavaScript Using First-Class Continuations},
booktitle = {Domain-Specific Languages, {IFIP} {TC} 2 Working Conference, {DSL}
2009, Oxford, UK, July 15-17, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5658},
pages = {1--19},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03034-5\_1},
doi = {10.1007/978-3-642-03034-5\_1},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/dsl/DanvySZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/DanvyM08,
author = {Olivier Danvy and
Kevin Millikin},
title = {On the equivalence between small-step and big-step abstract machines:
a simple application of lightweight fusion},
journal = {Inf. Process. Lett.},
volume = {106},
number = {3},
pages = {100--109},
year = {2008},
url = {https://doi.org/10.1016/j.ipl.2007.10.010},
doi = {10.1016/J.IPL.2007.10.010},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/DanvyM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyDLT08,
author = {Olivier Danvy and
R. Kent Dybvig and
Julia Lawall and
Peter Thiemann},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {21},
number = {3},
pages = {237--238},
year = {2008},
url = {https://doi.org/10.1007/s10990-008-9036-2},
doi = {10.1007/S10990-008-9036-2},
timestamp = {Mon, 17 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyDLT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyM08,
author = {Olivier Danvy and
Ian A. Mason},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {21},
number = {4},
pages = {359},
year = {2008},
url = {https://doi.org/10.1007/s10990-008-9040-6},
doi = {10.1007/S10990-008-9040-6},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/DanvyM08,
author = {Olivier Danvy and
Kevin Millikin},
title = {A Rational Deconstruction of Landin's {SECD} Machine with the {J}
Operator},
journal = {Log. Methods Comput. Sci.},
volume = {4},
number = {4},
year = {2008},
url = {https://doi.org/10.2168/LMCS-4(4:12)2008},
doi = {10.2168/LMCS-4(4:12)2008},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/DanvyM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afp/Danvy08,
author = {Olivier Danvy},
editor = {Pieter W. M. Koopman and
Rinus Plasmeijer and
S. Doaitse Swierstra},
title = {From Reduction-Based to Reduction-Free Normalization},
booktitle = {Advanced Functional Programming, 6th International School, {AFP} 2008,
Heijen, The Netherlands, May 2008, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {5832},
pages = {66--164},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-04652-0\_3},
doi = {10.1007/978-3-642-04652-0\_3},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/afp/Danvy08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Danvy08,
author = {Olivier Danvy},
editor = {James Hook and
Peter Thiemann},
title = {Defunctionalized interpreters for programming languages},
booktitle = {Proceeding of the 13th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2008, Victoria, BC, Canada, September
20-28, 2008},
pages = {131--142},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411204.1411206},
doi = {10.1145/1411204.1411206},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Danvy08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/DanvyJ08,
author = {Olivier Danvy and
Jacob Johannsen},
editor = {Wilfrid Hodges and
Ruy J. G. B. de Queiroz},
title = {Inter-deriving Semantic Artifacts for Object-Oriented Programming},
booktitle = {Logic, Language, Information and Computation, 15th International Workshop,
WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5110},
pages = {1--16},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69937-8\_1},
doi = {10.1007/978-3-540-69937-8\_1},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wollic/DanvyJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0811-3231,
author = {Olivier Danvy and
Kevin Millikin},
title = {A Rational Deconstruction of Landin's {SECD} Machine with the {J}
Operator},
journal = {CoRR},
volume = {abs/0811.3231},
year = {2008},
url = {http://arxiv.org/abs/0811.3231},
eprinttype = {arXiv},
eprint = {0811.3231},
timestamp = {Tue, 28 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0811-3231.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/DanvyMN07,
author = {Olivier Danvy and
Kevin Millikin and
Lasse R. Nielsen},
title = {On one-pass {CPS} transformations},
journal = {J. Funct. Program.},
volume = {17},
number = {6},
pages = {793--812},
year = {2007},
url = {https://doi.org/10.1017/S0956796807006387},
doi = {10.1017/S0956796807006387},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/DanvyMN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Danvy07,
author = {Olivier Danvy},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {20},
number = {3},
pages = {197--198},
year = {2007},
url = {https://doi.org/10.1007/s10990-007-9021-1},
doi = {10.1007/S10990-007-9021-1},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Danvy07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyT07,
author = {Olivier Danvy and
Hayo Thielecke},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {20},
number = {4},
pages = {337--338},
year = {2007},
url = {https://doi.org/10.1007/s10990-007-9020-2},
doi = {10.1007/S10990-007-9020-2},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DanvyOW07,
author = {Olivier Danvy and
Peter W. O'Hearn and
Philip Wadler},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {375},
number = {1-3},
pages = {1--2},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2006.12.024},
doi = {10.1016/J.TCS.2006.12.024},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DanvyOW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BiernackaD07,
author = {Malgorzata Biernacka and
Olivier Danvy},
title = {A syntactic correspondence between context-sensitive calculi and abstract
machines},
journal = {Theor. Comput. Sci.},
volume = {375},
number = {1-3},
pages = {76--108},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2006.12.028},
doi = {10.1016/J.TCS.2006.12.028},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BiernackaD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BiernackaD07,
author = {Malgorzata Biernacka and
Olivier Danvy},
title = {A concrete framework for environment machines},
journal = {{ACM} Trans. Comput. Log.},
volume = {9},
number = {1},
pages = {6},
year = {2007},
url = {https://doi.org/10.1145/1297658.1297664},
doi = {10.1145/1297658.1297664},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/BiernackaD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/DanvyS07,
author = {Olivier Danvy and
J. Michael Spivey},
editor = {Ralf Hinze and
Norman Ramsey},
title = {On Barron and Strachey's cartesian product function},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {41--46},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291161},
doi = {10.1145/1291151.1291161},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/DanvyS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/DanvyR06,
author = {Olivier Danvy and
Henning Korsholm Rohde},
title = {On obtaining the Boyer-Moore string-matching algorithm by partial
evaluation},
journal = {Inf. Process. Lett.},
volume = {99},
number = {4},
pages = {158--162},
year = {2006},
url = {https://doi.org/10.1016/j.ipl.2006.04.001},
doi = {10.1016/J.IPL.2006.04.001},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/DanvyR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BiernackiD06,
author = {Dariusz Biernacki and
Olivier Danvy},
title = {Theoretical Pearl: {A} simple proof of a folklore theorem about delimited
control},
journal = {J. Funct. Program.},
volume = {16},
number = {3},
pages = {269--280},
year = {2006},
url = {https://doi.org/10.1017/S0956796805005782},
doi = {10.1017/S0956796805005782},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/BiernackiD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyMPT06,
author = {Olivier Danvy and
Oege de Moor and
Julian A. Padget and
Peter Thiemann},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {19},
number = {1},
pages = {5},
year = {2006},
url = {https://doi.org/10.1007/s10990-006-8607-3},
doi = {10.1007/S10990-006-8607-3},
timestamp = {Mon, 23 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyMPT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyFGKMT06,
author = {Olivier Danvy and
Andrzej Filinski and
Jean{-}Louis Giavitto and
Andy King and
Pierre{-}Etienne Moreau and
Carolyn L. Talcott},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {19},
number = {4},
pages = {343--344},
year = {2006},
url = {https://doi.org/10.1007/s10990-006-0478-0},
doi = {10.1007/S10990-006-0478-0},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyFGKMT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BiernackiDS06,
author = {Dariusz Biernacki and
Olivier Danvy and
Chung{-}chieh Shan},
title = {On the static and dynamic extents of delimited continuations},
journal = {Sci. Comput. Program.},
volume = {60},
number = {3},
pages = {274--297},
year = {2006},
url = {https://doi.org/10.1016/j.scico.2006.01.002},
doi = {10.1016/J.SCICO.2006.01.002},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BiernackiDS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AgerDR06,
author = {Mads Sig Ager and
Olivier Danvy and
Henning Korsholm Rohde},
title = {Fast partial evaluation of pattern matching in strings},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {28},
number = {4},
pages = {696--714},
year = {2006},
url = {https://doi.org/10.1145/1146809.1146812},
doi = {10.1145/1146809.1146812},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/AgerDR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Danvy06,
author = {Olivier Danvy},
editor = {Tarmo Uustalu},
title = {Refunctionalization at Work},
booktitle = {Mathematics of Program Construction, 8th International Conference,
{MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4014},
pages = {4},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11783596\_2},
doi = {10.1007/11783596\_2},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Danvy06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DanvyG05,
author = {Olivier Danvy and
Mayer Goldberg},
title = {There and Back Again},
journal = {Fundam. Informaticae},
volume = {66},
number = {4},
pages = {397--413},
year = {2005},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi66-4-05},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DanvyG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/DanvyN05,
author = {Olivier Danvy and
Lasse R. Nielsen},
title = {{CPS} transformation of beta-redexes},
journal = {Inf. Process. Lett.},
volume = {94},
number = {5},
pages = {217--224},
year = {2005},
url = {https://doi.org/10.1016/j.ipl.2005.02.002},
doi = {10.1016/J.IPL.2005.02.002},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/DanvyN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BiernackiDS05,
author = {Dariusz Biernacki and
Olivier Danvy and
Chung{-}chieh Shan},
title = {On the dynamic extent of delimited continuations},
journal = {Inf. Process. Lett.},
volume = {96},
number = {1},
pages = {7--17},
year = {2005},
url = {https://doi.org/10.1016/j.ipl.2005.04.003},
doi = {10.1016/J.IPL.2005.04.003},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/BiernackiDS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyHMP05,
author = {Olivier Danvy and
Fritz Henglein and
Harry G. Mairson and
Alberto Pettorossi},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {18},
number = {1-2},
pages = {5--6},
year = {2005},
url = {https://doi.org/10.1007/s10990-005-7001-x},
doi = {10.1007/S10990-005-7001-X},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyHMP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BiernackaBD05,
author = {Malgorzata Biernacka and
Dariusz Biernacki and
Olivier Danvy},
title = {An Operational Foundation for Delimited Continuations in the {CPS}
Hierarchy},
journal = {Log. Methods Comput. Sci.},
volume = {1},
number = {2},
year = {2005},
url = {https://doi.org/10.2168/LMCS-1(2:5)2005},
doi = {10.2168/LMCS-1(2:5)2005},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BiernackaBD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AgerDM05,
author = {Mads Sig Ager and
Olivier Danvy and
Jan Midtgaard},
title = {A functional correspondence between monadic evaluators and abstract
machines for languages with computational effects},
journal = {Theor. Comput. Sci.},
volume = {342},
number = {1},
pages = {149--172},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2005.06.008},
doi = {10.1016/J.TCS.2005.06.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AgerDM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/DanvyM05,
author = {Olivier Danvy and
Kevin Millikin},
editor = {Andrew Butterfield and
Clemens Grelck and
Frank Huch},
title = {A Rational Deconstruction of Landin's {J} Operator},
booktitle = {Implementation and Application of Functional Languages, 17th International
Workshop, {IFL} 2005, Dublin, Ireland, September 19-21, 2005, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4015},
pages = {55--73},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11964681\_4},
doi = {10.1007/11964681\_4},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/DanvyM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BiernackaDS06,
author = {Malgorzata Biernacka and
Olivier Danvy and
Kristian St{\o}vring},
editor = {Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}} and
Achim Jung and
Michael W. Mislove},
title = {Program Extraction From Proofs of Weak Head Normalization},
booktitle = {Proceedings of the 21st Annual Conference on Mathematical Foundations
of Programming Semantics, {MFPS} 2005, Birmingham, UK, May 18-21,
2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {155},
pages = {169--189},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.11.056},
doi = {10.1016/J.ENTCS.2005.11.056},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BiernackaDS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2005,
editor = {Olivier Danvy and
Benjamin C. Pierce},
title = {Proceedings of the 10th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2005, Tallinn, Estonia, September 26-28,
2005},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1086365},
doi = {10.1145/1086365},
isbn = {1-59593-064-7},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0508048,
author = {Malgorzata Biernacka and
Dariusz Biernacki and
Olivier Danvy},
title = {An Operational Foundation for Delimited Continuations in the {CPS}
Hierarchy},
journal = {CoRR},
volume = {abs/cs/0508048},
year = {2005},
url = {http://arxiv.org/abs/cs/0508048},
eprinttype = {arXiv},
eprint = {cs/0508048},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0508048.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/AgerDM04,
author = {Mads Sig Ager and
Olivier Danvy and
Jan Midtgaard},
title = {A functional correspondence between call-by-need evaluators and lazy
abstract machines},
journal = {Inf. Process. Lett.},
volume = {90},
number = {5},
pages = {223--232},
year = {2004},
url = {https://doi.org/10.1016/j.ipl.2004.02.012},
doi = {10.1016/J.IPL.2004.02.012},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/AgerDM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/DanvyS04,
author = {Olivier Danvy and
Ulrik Pagh Schultz},
title = {Lambda-Lifting in Quadratic Time},
journal = {J. Funct. Log. Program.},
volume = {2004},
year = {2004},
url = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2004/A2004-01/JFLP-A2004-01.pdf},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jflp/DanvyS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/ChinDT04,
author = {Wei{-}Ngan Chin and
Olivier Danvy and
Peter Thiemann},
title = {Editorial: Theme Issue on Partial Evaluation and Semantics-Based Program
Manipulation},
journal = {High. Order Symb. Comput.},
volume = {17},
number = {1-2},
pages = {5--6},
year = {2004},
url = {https://doi.org/10.1023/B:LISP.0000029481.73168.ef},
doi = {10.1023/B:LISP.0000029481.73168.EF},
timestamp = {Mon, 23 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/ChinDT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/BasinDH04,
author = {David A. Basin and
Olivier Danvy and
Robert Harper},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {17},
number = {3},
pages = {171},
year = {2004},
url = {https://doi.org/10.1023/B:LISP.0000029480.20108.7d},
doi = {10.1023/B:LISP.0000029480.20108.7D},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/BasinDH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyM04,
author = {Olivier Danvy and
Ian A. Mason},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {17},
number = {4},
pages = {275},
year = {2004},
url = {https://doi.org/10.1007/s10990-004-4865-0},
doi = {10.1007/S10990-004-4865-0},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/Danvy04,
author = {Olivier Danvy},
editor = {Clemens Grelck and
Frank Huch and
Greg Michaelson and
Philip W. Trinder},
title = {A Rational Deconstruction of Landin's {SECD} Machine},
booktitle = {Implementation and Application of Functional Languages, 16th International
Workshop, {IFL} 2004, L{\"{u}}beck, Germany, September 8-10,
2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3474},
pages = {52--71},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11431664\_4},
doi = {10.1007/11431664\_4},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/Danvy04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Danvy05,
author = {Olivier Danvy},
editor = {Sergio Antoy and
Yoshihito Toyama},
title = {From Reduction-based to Reduction-free Normalization},
booktitle = {Proceedings of the 4th International Workshop on Reduction Strategies
in Rewriting and Programming, {WRS} 2004, Aachen, Germany, June 2,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {124},
number = {2},
pages = {79--100},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.01.007},
doi = {10.1016/J.ENTCS.2005.01.007},
timestamp = {Mon, 12 Dec 2022 13:37:45 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Danvy05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/DamianD03,
author = {Daniel Damian and
Olivier Danvy},
title = {Syntactic accidents in program analysis: on the impact of the {CPS}
transformation},
journal = {J. Funct. Program.},
volume = {13},
number = {5},
pages = {867--904},
year = {2003},
url = {https://doi.org/10.1017/S0956796802004379},
doi = {10.1017/S0956796802004379},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/DamianD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/DamianD03a,
author = {Daniel Damian and
Olivier Danvy},
title = {{CPS} transformation of flow information, Part {II:} administrative
reductions},
journal = {J. Funct. Program.},
volume = {13},
number = {5},
pages = {925--933},
year = {2003},
url = {https://doi.org/10.1017/S0956796803004702},
doi = {10.1017/S0956796803004702},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/DamianD03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyHMP03,
author = {Olivier Danvy and
Fritz Henglein and
Harry G. Mairson and
Alberto Pettorossi},
title = {Editorial: Special Issue Dedicated to Bob Paige},
journal = {High. Order Symb. Comput.},
volume = {16},
number = {1-2},
pages = {5--6},
year = {2003},
url = {https://doi.org/10.1023/A:1023059701827},
doi = {10.1023/A:1023059701827},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyHMP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DanvyN03,
author = {Olivier Danvy and
Lasse R. Nielsen},
title = {A first-order one-pass {CPS} transformation},
journal = {Theor. Comput. Sci.},
volume = {308},
number = {1-3},
pages = {239--257},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00733-8},
doi = {10.1016/S0304-3975(02)00733-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DanvyN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/Danvy03,
author = {Olivier Danvy},
editor = {G{\"{o}}rel Hedin},
title = {A New One-Pass Transformation into Monadic Normal Form},
booktitle = {Compiler Construction, 12th International Conference, {CC} 2003, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2003, Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2622},
pages = {77--89},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36579-6\_6},
doi = {10.1007/3-540-36579-6\_6},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/Danvy03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/DanvyL03,
author = {Olivier Danvy and
Pablo E. Mart{\'{\i}}nez L{\'{o}}pez},
editor = {Pierpaolo Degano},
title = {Tagging, Encoding, and Jones Optimality},
booktitle = {Programming Languages and Systems, 12th European Symposium on Programming,
{ESOP} 2003, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2003, Warsaw, Poland, April 7-11,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2618},
pages = {335--347},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36575-3\_23},
doi = {10.1007/3-540-36575-3\_23},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/DanvyL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/Danvy03,
author = {Olivier Danvy},
editor = {Frank Pfenning and
Yannis Smaragdakis},
title = {A Journey from Interpreters to Compilers and Virtual Machines},
booktitle = {Generative Programming and Component Engineering, Second International
Conference, {GPCE} 2003, Erfurt, Germany, September 22-25, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2830},
pages = {117},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39815-8\_7},
doi = {10.1007/978-3-540-39815-8\_7},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/gpce/Danvy03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BiernackiD03,
author = {Dariusz Biernacki and
Olivier Danvy},
editor = {Maurice Bruynooghe},
title = {From Interpreter to Logic Engine by Defunctionalization},
booktitle = {Logic Based Program Synthesis and Transformation, 13th International
Symposium {LOPSTR} 2003, Uppsala, Sweden, August 25-27, 2003, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3018},
pages = {143--159},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-25938-1\_13},
doi = {10.1007/978-3-540-25938-1\_13},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BiernackiD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/AgerDR03,
author = {Mads Sig Ager and
Olivier Danvy and
Henning Korsholm Rohde},
editor = {Michael Leuschel},
title = {Fast partial evaluation of pattern matching in strings},
booktitle = {Proceedings of the 2003 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-based Program Manipulation, 2003, San Diego, California,
USA, June 7, 2003},
pages = {3--9},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/777388.777390},
doi = {10.1145/777388.777390},
timestamp = {Fri, 25 Jun 2021 17:17:37 +0200},
biburl = {https://dblp.org/rec/conf/pepm/AgerDR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/AgerBDM03,
author = {Mads Sig Ager and
Dariusz Biernacki and
Olivier Danvy and
Jan Midtgaard},
title = {A functional correspondence between evaluators and abstract machines},
booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 27-29 August 2003,
Uppsala, Sweden},
pages = {8--19},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/888251.888254},
doi = {10.1145/888251.888254},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/AgerBDM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/DamianD02,
author = {Daniel Damian and
Olivier Danvy},
title = {A Simple {CPS} Transformation of Control-Flow Information},
journal = {Log. J. {IGPL}},
volume = {10},
number = {5},
pages = {501--515},
year = {2002},
url = {https://doi.org/10.1093/jigpal/10.5.501},
doi = {10.1093/JIGPAL/10.5.501},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/DamianD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyIT02,
author = {Olivier Danvy and
Takayasu Ito and
Carolyn L. Talcott},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {15},
number = {1},
pages = {5},
year = {2002},
url = {https://doi.org/10.1023/A:1019966413716},
doi = {10.1023/A:1019966413716},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyIT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyS02,
author = {Olivier Danvy and
Amr Sabry},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {15},
number = {2-3},
pages = {139--140},
year = {2002},
url = {https://doi.org/10.1023/A:1020834727430},
doi = {10.1023/A:1020834727430},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lisp/DanvyS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyT02,
author = {Olivier Danvy and
Carolyn L. Talcott},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {15},
number = {4},
pages = {271},
year = {2002},
url = {https://doi.org/10.1023/A:1022974204050},
doi = {10.1023/A:1022974204050},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AgerDG02,
author = {Mads Sig Ager and
Olivier Danvy and
Mayer Goldberg},
editor = {Torben {\AE}. Mogensen and
David A. Schmidt and
Ivan Hal Sudborough},
title = {A Symmetric Approach to Compilation and Decompilation},
booktitle = {The Essence of Computation, Complexity, Analysis, Transformation.
Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday]},
series = {Lecture Notes in Computer Science},
volume = {2566},
pages = {296--331},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36377-7\_14},
doi = {10.1007/3-540-36377-7\_14},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AgerDG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AmtoftCDM02,
author = {Torben Amtoft and
Charles Consel and
Olivier Danvy and
Karoline Malmkj{\ae}r},
editor = {Torben {\AE}. Mogensen and
David A. Schmidt and
Ivan Hal Sudborough},
title = {The Abstraction and Instantiation of String-Matching Programs},
booktitle = {The Essence of Computation, Complexity, Analysis, Transformation.
Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday]},
series = {Lecture Notes in Computer Science},
volume = {2566},
pages = {332--357},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36377-7\_15},
doi = {10.1007/3-540-36377-7\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AmtoftCDM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/DanvyS02,
author = {Olivier Danvy and
Ulrik Pagh Schultz},
editor = {Zhenjiang Hu and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Lambda-Lifting in Quadratic Time},
booktitle = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
2002, Aizu, Japan, September 15-17, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2441},
pages = {134--151},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45788-7\_8},
doi = {10.1007/3-540-45788-7\_8},
timestamp = {Sun, 02 Jun 2019 21:12:36 +0200},
biburl = {https://dblp.org/rec/conf/flops/DanvyS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/DanvyN02,
author = {Olivier Danvy and
Lasse R. Nielsen},
editor = {Mogens Nielsen and
Uffe Engberg},
title = {A First-Order One-Pass {CPS} Transformation},
booktitle = {Foundations of Software Science and Computation Structures, 5th International
Conference, {FOSSACS} 2002. Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002 Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2303},
pages = {98--113},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45931-6\_8},
doi = {10.1007/3-540-45931-6\_8},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/DanvyN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/BalatD02,
author = {Vincent Balat and
Olivier Danvy},
editor = {Don S. Batory and
Charles Consel and
Walid Taha},
title = {Memoization in Type-Directed Partial Evaluation},
booktitle = {Generative Programming and Component Engineering, {ACM} {SIGPLAN/SIGSOFT}
Conference, {GPCE} 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2487},
pages = {78--92},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45821-2\_5},
doi = {10.1007/3-540-45821-2\_5},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/gpce/BalatD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/DanvyG02,
author = {Olivier Danvy and
Mayer Goldberg},
editor = {Mitchell Wand and
Simon L. Peyton Jones},
title = {There and back again},
booktitle = {Proceedings of the Seventh {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '02), Pittsburgh, Pennsylvania,
USA, October 4-6, 2002},
pages = {230--234},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/581478.581500},
doi = {10.1145/581478.581500},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/icfp/DanvyG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/AgerDR02,
author = {Mads Sig Ager and
Olivier Danvy and
Henning Korsholm Rohde},
editor = {Kenichi Asai and
Wei{-}Ngan Chin},
title = {On obtaining Knuth, Morris, and Pratt's string matcher by partial
evaluation},
booktitle = {Proceedings of the {ACM} {SIGPLAN} {ASIA-PEPM} 2002, Asian Symposium
on Partial Evaluation and Semantics-Based Program Manipulation, Aizu,
Japan, September 12-14, 2002},
pages = {32--46},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/568173.568177},
doi = {10.1145/568173.568177},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/AgerDR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/DanvyRR01,
author = {Olivier Danvy and
Morten Rhiger and
Kristoffer H{\o}gsbro Rose},
title = {Normalization by evaluation with typed abstract syntax},
journal = {J. Funct. Program.},
volume = {11},
number = {6},
pages = {673--680},
year = {2001},
url = {https://doi.org/10.1017/S0956796801004166},
doi = {10.1017/S0956796801004166},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/DanvyRR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyT01,
author = {Olivier Danvy and
Carolyn L. Talcott},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {14},
number = {1},
pages = {5},
year = {2001},
url = {https://doi.org/10.1023/A:1011513031288},
doi = {10.1023/A:1011513031288},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyL01,
author = {Olivier Danvy and
Julia L. Lawall},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {14},
number = {2-3},
pages = {99--100},
year = {2001},
url = {https://doi.org/10.1023/A:1012905312544},
doi = {10.1023/A:1012905312544},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyIT01,
author = {Olivier Danvy and
Takayasu Ito and
Carolyn L. Talcott},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {14},
number = {4},
pages = {307},
year = {2001},
url = {https://doi.org/10.1023/A:1014426530629},
doi = {10.1023/A:1014426530629},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyIT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/DanvyGR01,
author = {Olivier Danvy and
Bernd Grobauer and
Morten Rhiger},
title = {A Unifying Approach to Goal-directed Evaluation},
journal = {New Gener. Comput.},
volume = {20},
number = {1},
pages = {53--74},
year = {2001},
url = {https://doi.org/10.1007/BF03037259},
doi = {10.1007/BF03037259},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/DanvyGR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/DanvyN01,
author = {Olivier Danvy and
Lasse R. Nielsen},
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {A Higher-Order Colon Translation},
booktitle = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
pages = {78--91},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4\_5},
doi = {10.1007/3-540-44716-4\_5},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/DanvyN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/DanvyR01,
author = {Olivier Danvy and
Morten Rhiger},
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {A Simple Take on Typed Abstract Syntax in Haskell-like Languages},
booktitle = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
pages = {343--358},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4\_22},
doi = {10.1007/3-540-44716-4\_22},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/DanvyR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/DanvyN01,
author = {Olivier Danvy and
Lasse R. Nielsen},
title = {Defunctionalization at Work},
booktitle = {Proceedings of the 3rd international {ACM} {SIGPLAN} conference on
Principles and practice of declarative programming, September 5-7,
2001, Florence, Italy},
pages = {162--174},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/773184.773202},
doi = {10.1145/773184.773202},
timestamp = {Tue, 06 Nov 2018 16:57:25 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/DanvyN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saig/DamianD01,
author = {Daniel Damian and
Olivier Danvy},
editor = {Walid Taha},
title = {Static Transition Compression},
booktitle = {Semantics, Applications, and Implementation of Program Generation,
Second International Workshop, {SAIG} 2001, Florence, Italy, September
6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2196},
pages = {92--107},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44806-3\_6},
doi = {10.1007/3-540-44806-3\_6},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/saig/DamianD01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saig/DanvyGR01,
author = {Olivier Danvy and
Bernd Grobauer and
Morten Rhiger},
editor = {Walid Taha},
title = {A Unifying Approach to Goal-Directed Evaluation},
booktitle = {Semantics, Applications, and Implementation of Program Generation,
Second International Workshop, {SAIG} 2001, Florence, Italy, September
6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2196},
pages = {108--125},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44806-3\_7},
doi = {10.1007/3-540-44806-3\_7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/saig/DanvyGR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Danvy01,
author = {Olivier Danvy},
editor = {Samson Abramsky},
title = {Many Happy Returns},
booktitle = {Typed Lambda Calculi and Applications, 5th International Conference,
{TLCA} 2001, Krakow, Poland, May 2-5, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2044},
pages = {1},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45413-6\_1},
doi = {10.1007/3-540-45413-6\_1},
timestamp = {Sat, 07 Sep 2019 11:59:25 +0200},
biburl = {https://dblp.org/rec/conf/tlca/Danvy01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/DanvyN01,
author = {Olivier Danvy and
Lasse R. Nielsen},
editor = {Mark van den Brand and
Rakesh M. Verma},
title = {Syntactic Theories in Practice},
booktitle = {Second International Workshop on Rule-Based Programming, {RULE} 2001,
Satellite Event of {PLI} 2001, Firenze, Italy, September 4, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {59},
number = {4},
pages = {358--374},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00297-X},
doi = {10.1016/S1571-0661(04)00297-X},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DanvyN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pado/2001,
editor = {Olivier Danvy and
Andrzej Filinski},
title = {Programs as Data Objects, Second Symposium, {PADO} 2001, Aarhus, Denmark,
May 21-23, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2053},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44978-7},
doi = {10.1007/3-540-44978-7},
isbn = {3-540-42068-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pado/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyT00,
author = {Olivier Danvy and
Carolyn L. Talcott},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {1/2},
pages = {5--6},
year = {2000},
url = {https://doi.org/10.1023/A:1010022412197},
doi = {10.1023/A:1010022412197},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyT00a,
author = {Olivier Danvy and
Carolyn L. Talcott},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {3},
pages = {159--160},
year = {2000},
url = {https://doi.org/10.1023/A:1010014500357},
doi = {10.1023/A:1010014500357},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyT00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyT00b,
author = {Olivier Danvy and
Carolyn L. Talcott},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {4},
pages = {287--288},
year = {2000},
url = {https://doi.org/10.1023/A:1026586714900},
doi = {10.1023/A:1026586714900},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyT00b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DanvyS00,
author = {Olivier Danvy and
Ulrik Pagh Schultz},
title = {Lambda-dropping: transforming recursive equations into programs with
block structure},
journal = {Theor. Comput. Sci.},
volume = {248},
number = {1-2},
pages = {243--287},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(00)00054-2},
doi = {10.1016/S0304-3975(00)00054-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DanvyS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Danvy00,
author = {Olivier Danvy},
editor = {Gert Smolka},
title = {Formalizing Implementation Strategies for First-Class Continuations},
booktitle = {Programming Languages and Systems, 9th European Symposium on Programming,
{ESOP} 2000, Held as Part of the European Joint Conferences on the
Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March
25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1782},
pages = {88--103},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46425-5\_6},
doi = {10.1007/3-540-46425-5\_6},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/Danvy00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/DamianD00,
author = {Daniel Damian and
Olivier Danvy},
editor = {Martin Odersky and
Philip Wadler},
title = {Syntactic accidents in program analysis: on the impact of the {CPS}
transformation},
booktitle = {Proceedings of the Fifth {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '00), Montreal, Canada, September
18-21, 2000},
pages = {209--220},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/351240.351260},
doi = {10.1145/351240.351260},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/icfp/DamianD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyT99,
author = {Olivier Danvy and
Carolyn L. Talcott},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {12},
number = {1},
pages = {5},
year = {1999},
url = {https://doi.org/10.1023/A:1010023032358},
doi = {10.1023/A:1010023032358},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyT99a,
author = {Olivier Danvy and
Carolyn L. Talcott},
title = {Introduction},
journal = {High. Order Symb. Comput.},
volume = {12},
number = {2},
pages = {123--124},
year = {1999},
url = {https://doi.org/10.1023/A:1010089522078},
doi = {10.1023/A:1010089522078},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyT99a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyT99c,
author = {Olivier Danvy and
Carolyn L. Talcott},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {12},
number = {3},
pages = {219},
year = {1999},
url = {https://doi.org/10.1023/A:1010025114115},
doi = {10.1023/A:1010025114115},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyT99c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyT99b,
author = {Olivier Danvy and
Carolyn L. Talcott},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {12},
number = {4},
pages = {307--308},
year = {1999},
url = {https://doi.org/10.1023/A:1010002000861},
doi = {10.1023/A:1010002000861},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyT99b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/DanvyY99,
author = {Olivier Danvy and
Zhe Yang},
editor = {S. Doaitse Swierstra},
title = {An Operational Investigation of the {CPS} Hierarchy},
booktitle = {Programming Languages and Systems, 8th European Symposium on Programming,
ESOP'99, Held as Part of the European Joint Conferences on the Theory
and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28
March, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1576},
pages = {224--242},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49099-X\_15},
doi = {10.1007/3-540-49099-X\_15},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/DanvyY99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Danvy99,
author = {Olivier Danvy},
editor = {Aart Middeldorp and
Taisuke Sato},
title = {An Extensional Characterization of Lambda-Lifting and Lambda-Dropping},
booktitle = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1722},
pages = {241--250},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10705424\_16},
doi = {10.1007/10705424\_16},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/Danvy99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DanvyDP99,
author = {Olivier Danvy and
Belmina Dzafic and
Frank Pfenning},
editor = {Andrew D. Gordon and
Andrew M. Pitts},
title = {On proving syntactic properties of {CPS} programs},
booktitle = {Third Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1999, Paris, France, September 30 - October 1, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {26},
pages = {21--33},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80281-6},
doi = {10.1016/S1571-0661(05)80281-6},
timestamp = {Fri, 11 Nov 2022 15:22:07 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DanvyDP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/1999,
editor = {Olivier Danvy},
title = {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}},
publisher = {University of Aarhus},
year = {1999},
timestamp = {Tue, 22 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/DanvyGT98,
author = {Olivier Danvy and
Robert Gl{\"{u}}ck and
Peter Thiemann},
title = {1998 Symposium on Partial Evaluation},
journal = {{ACM} Comput. Surv.},
volume = {30},
number = {3},
pages = {285--290},
year = {1998},
url = {https://doi.org/10.1145/292469.293684},
doi = {10.1145/292469.293684},
timestamp = {Mon, 23 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/DanvyGT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Danvy98,
author = {Olivier Danvy},
title = {Functional Unparsing},
journal = {J. Funct. Program.},
volume = {8},
number = {6},
pages = {621--625},
year = {1998},
url = {https://doi.org/10.1017/s0956796898003104},
doi = {10.1017/S0956796898003104},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Danvy98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Danvy98,
author = {Olivier Danvy},
editor = {Masahiko Sato and
Yoshihito Toyama},
title = {Online Type-Directed Partial Evaluation},
booktitle = {Third Fuji International Symposium on Functional and Logic Programming,
{FLOPS} 1998, Kyoto, Japan, Apil 2-4, 1998},
pages = {271--295},
publisher = {World Scientific, Singapore},
year = {1998},
timestamp = {Tue, 30 Jul 2019 10:47:11 +0200},
biburl = {https://dblp.org/rec/conf/flops/Danvy98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Danvy98,
author = {Olivier Danvy},
editor = {Kim Guldstrand Larsen and
Sven Skyum and
Glynn Winskel},
title = {A Simple Solution to Type Specialization},
booktitle = {Automata, Languages and Programming, 25th International Colloquium,
ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1443},
pages = {908--917},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055112},
doi = {10.1007/BFB0055112},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Danvy98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Danvy98,
author = {Olivier Danvy},
editor = {John Hatcliff and
Torben {\AE}. Mogensen and
Peter Thiemann},
title = {Type-Directed Partial Evaluation},
booktitle = {Partial Evaluation - Practice and Theory, {DIKU} 1998 International
Summer School, Copenhagen, Denmark, June 29 - July 10, 1998},
series = {Lecture Notes in Computer Science},
volume = {1706},
pages = {367--411},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-47018-2\_16},
doi = {10.1007/3-540-47018-2\_16},
timestamp = {Mon, 28 Aug 2023 21:17:45 +0200},
biburl = {https://dblp.org/rec/conf/pepm/Danvy98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/DanvyR98,
author = {Olivier Danvy and
Kristoffer H{\o}gsbro Rose},
editor = {Tobias Nipkow},
title = {Higher-Order Rewriting and Partial Evaluation},
booktitle = {Rewriting Techniques and Applications, 9th International Conference,
RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1379},
pages = {286--301},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0052377},
doi = {10.1007/BFB0052377},
timestamp = {Sat, 05 Sep 2020 18:07:52 +0200},
biburl = {https://dblp.org/rec/conf/rta/DanvyR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tic/BalatD98,
author = {Vincent Balat and
Olivier Danvy},
editor = {Xavier Leroy and
Atsushi Ohori},
title = {Strong Normalization by Type-Directed Partial Evaluation and Run-Time
Code Generation},
booktitle = {Types in Compilation, Second International Workshop, {TIC} '98, Kyoto,
Japan, March 25-27, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1473},
pages = {240--252},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055521},
doi = {10.1007/BFB0055521},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/tic/BalatD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/HatcliffD97,
author = {John Hatcliff and
Olivier Danvy},
title = {Thunks and the lambda-Calculus},
journal = {J. Funct. Program.},
volume = {7},
number = {3},
pages = {303--319},
year = {1997},
url = {https://doi.org/10.1017/s0956796897002748},
doi = {10.1017/S0956796897002748},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/HatcliffD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyG97,
author = {Olivier Danvy and
Mayer Goldberg},
title = {Partial Evaluation of the Euclidian Algorithm},
journal = {{LISP} Symb. Comput.},
volume = {10},
number = {2},
pages = {101--111},
year = {1997},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lisp/DanvyG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/HatcliffD97,
author = {John Hatcliff and
Olivier Danvy},
title = {A Computational Formalization for Partial Evaluation},
journal = {Math. Struct. Comput. Sci.},
volume = {7},
number = {5},
pages = {507--541},
year = {1997},
url = {https://doi.org/10.1017/S0960129597002405},
doi = {10.1017/S0960129597002405},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/HatcliffD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/DanvyS97,
author = {Olivier Danvy and
Ulrik Pagh Schultz},
editor = {John P. Gallagher and
Charles Consel and
A. Michael Berman},
title = {Lambda-Dropping: Transforming Recursive Equations into Programs with
Block Structure},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation {(PEPM} '97), Amsterdam,
The Netherlands, June 12-13, 1997},
pages = {90--106},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/258993.259007},
doi = {10.1145/258993.259007},
timestamp = {Sat, 31 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/DanvyS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/DanvyHM96,
author = {Olivier Danvy and
Nevin Hentze and
Karoline Malmkj{\ae}r},
title = {Resource-Bounded Partial Evaluation},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {2},
pages = {329--332},
year = {1996},
url = {https://doi.org/10.1145/234528.234741},
doi = {10.1145/234528.234741},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/DanvyHM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/DanvyP96,
author = {Olivier Danvy and
Karoline Malmkj{\ae}r and
Jens Palsberg},
title = {Eta-Expansion Does The Trick},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {18},
number = {6},
pages = {730--751},
year = {1996},
url = {https://doi.org/10.1145/236114.236119},
doi = {10.1145/236114.236119},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/DanvyP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Danvy96,
author = {Olivier Danvy},
editor = {Olivier Danvy and
Robert Gl{\"{u}}ck and
Peter Thiemann},
title = {Pragmatics of Type-Directed Partial Evaluation},
booktitle = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
February 12-16, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1110},
pages = {73--94},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61580-6\_5},
doi = {10.1007/3-540-61580-6\_5},
timestamp = {Mon, 23 Mar 2020 12:22:51 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/Danvy96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/DanvyV96,
author = {Olivier Danvy and
Ren{\'{e}} Vestergaard},
editor = {Herbert Kuchen and
S. Doaitse Swierstra},
title = {Semantics-Based Compiling: {A} Case Study in Type-Directed Partial
Evaluation},
booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th
International Symposium, PLILP'96, Aachen, Germany, September 24-27,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1140},
pages = {182--197},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61756-6\_85},
doi = {10.1007/3-540-61756-6\_85},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/plilp/DanvyV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Danvy96,
author = {Olivier Danvy},
editor = {Hans{-}Juergen Boehm and
Guy L. Steele Jr.},
title = {Type-Directed Partial Evaluation},
booktitle = {Conference Record of POPL'96: The 23rd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Papers Presented at the Symposium,
St. Petersburg Beach, Florida, USA, January 21-24, 1996},
pages = {242--257},
publisher = {{ACM} Press},
year = {1996},
url = {https://doi.org/10.1145/237721.237784},
doi = {10.1145/237721.237784},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Danvy96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/1996pe,
editor = {Olivier Danvy and
Robert Gl{\"{u}}ck and
Peter Thiemann},
title = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
February 12-16, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1110},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61580-6},
doi = {10.1007/3-540-61580-6},
isbn = {3-540-61580-6},
timestamp = {Mon, 23 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/1996pe.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyMP95,
author = {Olivier Danvy and
Karoline Malmkj{\ae}r and
Jens Palsberg},
title = {The Essence of Eta-Expansion in Partial Evaluation},
journal = {{LISP} Symb. Comput.},
volume = {8},
number = {3},
pages = {209--227},
year = {1995},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lisp/DanvyMP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Danvy94,
author = {Olivier Danvy},
title = {Back to Direct Style},
journal = {Sci. Comput. Program.},
volume = {22},
number = {3},
pages = {183--195},
year = {1994},
url = {https://doi.org/10.1016/0167-6423(94)00003-4},
doi = {10.1016/0167-6423(94)00003-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Danvy94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Danvy94,
author = {Olivier Danvy},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Partial Evaluation for Program Speedups},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {579--580},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 13:03:03 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Danvy94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/LawallD94,
author = {Julia L. Lawall and
Olivier Danvy},
editor = {Robert R. Kessler},
title = {Continuation-Based Partial Evaluation},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {227--238},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.182483},
doi = {10.1145/182409.182483},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/LawallD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/DanvyMP94,
author = {Olivier Danvy and
Karoline Malmkj{\ae}r and
Jens Palsberg},
title = {The Essence of Eta-Expansion in Partial Evaluation},
booktitle = {PEPM'94 - {ACM} {SIGPLAN} Workshop on Partial Evaluation and Semantics-Based
Program Manipulation, Walt Disney World Vilage, Orlando, Florida,
USA, 25 June 1994, Proceedings. Technical Report 94/9},
pages = {11--20},
publisher = {University of Melbourne, Australia, Department of Computer Science},
year = {1994},
timestamp = {Tue, 22 May 2012 15:24:56 +0200},
biburl = {https://dblp.org/rec/conf/pepm/DanvyMP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HatcliffD94,
author = {John Hatcliff and
Olivier Danvy},
editor = {Hans{-}Juergen Boehm and
Bernard Lang and
Daniel M. Yellin},
title = {A Generic Account of Continuation-Passing Styles},
booktitle = {Conference Record of POPL'94: 21st {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Portland, Oregon, USA, January
17-21, 1994},
pages = {458--471},
publisher = {{ACM} Press},
year = {1994},
url = {https://doi.org/10.1145/174675.178053},
doi = {10.1145/174675.178053},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/HatcliffD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/DanvyH93,
author = {Olivier Danvy and
John Hatcliff},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {On the Transformation between Direct and Continuation Semantics},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {627--648},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_31},
doi = {10.1007/3-540-58027-1\_31},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/mfps/DanvyH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/LawallD93,
author = {Julia L. Lawall and
Olivier Danvy},
editor = {Mary S. Van Deusen and
Bernard Lang},
title = {Separating Stages in the Continuation-Passing Style Transformation},
booktitle = {Conference Record of the Twentieth Annual {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Charleston, South Carolina,
USA, January 1993},
pages = {124--136},
publisher = {{ACM} Press},
year = {1993},
url = {https://doi.org/10.1145/158511.158613},
doi = {10.1145/158511.158613},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/LawallD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ConselD93,
author = {Charles Consel and
Olivier Danvy},
editor = {Mary S. Van Deusen and
Bernard Lang},
title = {Tutorial Notes on Partial Evaluation},
booktitle = {Conference Record of the Twentieth Annual {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Charleston, South Carolina,
USA, January 1993},
pages = {493--501},
publisher = {{ACM} Press},
year = {1993},
url = {https://doi.org/10.1145/158511.158707},
doi = {10.1145/158511.158707},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/ConselD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/ConselD92,
author = {Charles Consel and
Olivier Danvy},
title = {Partial Evaluation in Parallel},
journal = {{LISP} Symb. Comput.},
volume = {5},
number = {4},
pages = {327--342},
year = {1992},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lisp/ConselD92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/DanvyH92,
author = {Olivier Danvy and
John Hatcliff},
title = {CPS-Transformation After Strictness Analysis},
journal = {{LOPLAS}},
volume = {1},
number = {3},
pages = {195--212},
year = {1992},
url = {https://doi.org/10.1145/151640.151641},
doi = {10.1145/151640.151641},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/loplas/DanvyH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/DanvyF92,
author = {Olivier Danvy and
Andrzej Filinski},
title = {Representing Control: {A} Study of the {CPS} Transformation},
journal = {Math. Struct. Comput. Sci.},
volume = {2},
number = {4},
pages = {361--391},
year = {1992},
url = {https://doi.org/10.1017/S0960129500001535},
doi = {10.1017/S0960129500001535},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/DanvyF92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Danvy92,
author = {Olivier Danvy},
editor = {Bernd Krieg{-}Br{\"{u}}ckner},
title = {Back to Direct Style},
booktitle = {{ESOP} '92, 4th European Symposium on Programming, Rennes, France,
February 26-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {582},
pages = {130--150},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55253-7\_8},
doi = {10.1007/3-540-55253-7\_8},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/Danvy92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/DanvyL92,
author = {Olivier Danvy and
Julia L. Lawall},
editor = {Jon L. White},
title = {Back to Direct Style {II:} First-Class Continuations},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {299--310},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141564},
doi = {10.1145/141471.141564},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/DanvyL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/DanvyH92,
author = {Olivier Danvy and
John Hatcliff},
editor = {Michel Billaud and
Pierre Cast{\'{e}}ran and
Marc{-}Michel Corsini and
Kaninda Musumbu and
Antoine Rauzy},
title = {Thunks (Continued)},
booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September
1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI),
Proceedings},
series = {Series Bigre},
volume = {81-82},
pages = {3--11},
publisher = {Atelier Irisa, IRISA, Campus de Beaulieu},
year = {1992},
timestamp = {Thu, 12 Jul 2018 08:27:45 +0200},
biburl = {https://dblp.org/rec/conf/sas/DanvyH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Danvy91,
author = {Olivier Danvy},
title = {Semantics-Directed Compilation of Nonlinear Patterns},
journal = {Inf. Process. Lett.},
volume = {37},
number = {6},
pages = {315--322},
year = {1991},
url = {https://doi.org/10.1016/0020-0190(91)90148-B},
doi = {10.1016/0020-0190(91)90148-B},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Danvy91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BondorfD91,
author = {Anders Bondorf and
Olivier Danvy},
title = {Automatic Autoprojection of Recursive Equations with Global Variables
and Abstract Data Types},
journal = {Sci. Comput. Program.},
volume = {16},
number = {2},
pages = {151--195},
year = {1991},
url = {https://doi.org/10.1016/0167-6423(91)90002-F},
doi = {10.1016/0167-6423(91)90002-F},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BondorfD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/ConselD91,
author = {Charles Consel and
Olivier Danvy},
editor = {John Hughes},
title = {For a Better Support of Static Data Flow},
booktitle = {Functional Programming Languages and Computer Architecture, 5th {ACM}
Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {523},
pages = {496--519},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540543961\_24},
doi = {10.1007/3540543961\_24},
timestamp = {Tue, 08 Mar 2022 10:14:58 +0100},
biburl = {https://dblp.org/rec/conf/fpca/ConselD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ConselD91,
author = {Charles Consel and
Olivier Danvy},
editor = {David S. Wise},
title = {Static and Dynamic Semantics Processing},
booktitle = {Conference Record of the Eighteenth Annual {ACM} Symposium on Principles
of Programming Languages, Orlando, Florida, USA, January 21-23, 1991},
pages = {14--24},
publisher = {{ACM} Press},
year = {1991},
url = {https://doi.org/10.1145/99583.99588},
doi = {10.1145/99583.99588},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/ConselD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/1991,
editor = {Charles Consel and
Olivier Danvy},
title = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
USA, June 17-19, 1991},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/115865},
doi = {10.1145/115865},
isbn = {0-89791-433-3},
timestamp = {Fri, 09 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/ConselD90,
author = {Charles Consel and
Olivier Danvy},
editor = {Neil D. Jones},
title = {From Interpreting to Compiling Binding Times},
booktitle = {ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark,
May 15-18, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {432},
pages = {88--105},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52592-0\_57},
doi = {10.1007/3-540-52592-0\_57},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/ConselD90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/JonesGBDM90,
author = {Neil D. Jones and
Carsten K. Gomard and
Anders Bondorf and
Olivier Danvy and
Torben {\AE}. Mogensen},
title = {A Self-Applicable Partial Evaluator for the Lambda Calculus},
booktitle = {1990 Internation Conference on Computer Languages, March 12-15 1990,
New Orleans, Louisiana, {USA}},
pages = {49--58},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/ICCL.1990.63760},
doi = {10.1109/ICCL.1990.63760},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccl/JonesGBDM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/DanvyF90,
author = {Olivier Danvy and
Andrzej Filinski},
editor = {Gilles Kahn},
title = {Abstracting Control},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {151--160},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91622},
doi = {10.1145/91556.91622},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/DanvyF90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/ConselD89,
author = {Charles Consel and
Olivier Danvy},
title = {Partial Evaluation of Pattern Matching in Strings},
journal = {Inf. Process. Lett.},
volume = {30},
number = {2},
pages = {79--86},
year = {1989},
url = {https://doi.org/10.1016/0020-0190(89)90113-0},
doi = {10.1016/0020-0190(89)90113-0},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/ConselD89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/DanvyM88,
author = {Olivier Danvy and
Karoline Malmkj{\ae}r},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {Intensions and Extensions in a Reflective Tower},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {327--341},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62725},
doi = {10.1145/62678.62725},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/DanvyM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Danvy87,
author = {Olivier Danvy},
editor = {Richard L. Wexelblat},
title = {Memory allocation and higher-order functions},
booktitle = {Proceedings of the Symposium on Interpreters and Interpretive Techniques,
1987, St. Paul, Minnesota, USA, June 24 - 26, 1987},
pages = {241--252},
publisher = {{ACM}},
year = {1987},
url = {https://doi.org/10.1145/29650.29676},
doi = {10.1145/29650.29676},
timestamp = {Fri, 09 Jul 2021 14:03:46 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Danvy87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
