publications:
- title: "J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Chung-chieh Shan"
    link: "http://www.cs.rutgers.edu/~ccshan/"
  - name: "Ian Zerny"
    link: "https://researchr.org/alias/ian-zerny"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-03034-5_1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-03034-5_1"
  tags:
  - "JavaScript"
  - "DSL"
  researchr: "https://researchr.org/publication/DanvySZ09"
  cites: 0
  citedby: 0
  pages: "1-19"
  booktitle: "Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings"
  editor:
  - name: "Walid Mohamed Taha"
    link: "https://researchr.org/alias/walid-mohamed-taha"
  volume: "5658"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-03033-8"
  kind: "inproceedings"
  key: "DanvySZ09"
- title: "Syntactic accidents in program analysis: on the impact of the CPS transformation"
  author:
  - name: "Daniel Damian"
    link: "https://researchr.org/alias/daniel-damian"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796802004379"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796802004379"
  tags:
  - "program analysis"
  - "analysis"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/DamianD03"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "13"
  number: "5"
  pages: "867-904"
  kind: "article"
  key: "DamianD03"
- title: "Continuation-Based Partial Evaluation"
  author:
  - name: "Julia L. Lawall"
    link: "http://www.diku.dk/hjemmesider/ansatte/julia/"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "1994"
  doi: "http://doi.acm.org/10.1145/182409.182483"
  links:
    doi: "http://doi.acm.org/10.1145/182409.182483"
  tags:
  - "rule-based"
  - "partial evaluation"
  researchr: "https://researchr.org/publication/LawallD94"
  cites: 0
  citedby: 0
  pages: "227-238"
  booktitle: "LISP and Functional Programming"
  kind: "inproceedings"
  key: "LawallD94"
- title: "Refocusing in Reduction Semantics"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Nielsen, Lasse R."
    link: "https://researchr.org/alias/nielsen%2C-lasse-r."
  year: "2004"
  links:
    "url": "http://www.brics.dk/RS/04/26/"
  researchr: "https://researchr.org/publication/Danvy2004refocusingin"
  cites: 0
  citedby: 0
  institution: "Department of Computer Science, Aarhus University"
  type: "BRICS Research Series"
  number: "RS-04-26"
  kind: "techreport"
  key: "Danvy2004refocusingin"
- title: "A Simple CPS Transformation of Control-Flow Information"
  author:
  - name: "Daniel Damian"
    link: "https://researchr.org/alias/daniel-damian"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "2002"
  doi: "http://www3.oup.co.uk/igpl/Volume_10/Issue_05/#Damian"
  links:
    doi: "http://www3.oup.co.uk/igpl/Volume_10/Issue_05/#Damian"
  tags:
  - "data-flow"
  - "transformation"
  researchr: "https://researchr.org/publication/DamianD02"
  cites: 0
  citedby: 0
  journal: "Logic Journal of the IGPL"
  volume: "10"
  number: "5"
  pages: "501-515"
  kind: "article"
  key: "DamianD02"
- title: "A characterization of Moessner's sieve"
  author:
  - name: "Christian Clausen"
    link: "https://researchr.org/alias/christian-clausen"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Moe Masuko"
    link: "https://researchr.org/alias/moe-masuko"
  year: "2014"
  doi: "http://dx.doi.org/10.1016/j.tcs.2014.03.012"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2014.03.012"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/tcs/ClausenDM14"
  researchr: "https://researchr.org/publication/ClausenDM14"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "546"
  pages: "244-256"
  kind: "article"
  key: "ClausenDM14"
- title: "Editorial"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "1999"
  researchr: "https://researchr.org/publication/DanvyT99b"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "12"
  number: "4"
  pages: "307-308"
  kind: "article"
  key: "DanvyT99b"
- title: "An Operational Investigation of the CPS Hierarchy"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Zhe Yang"
    link: "https://researchr.org/alias/zhe-yang"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1576/15760224.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1576/15760224.htm"
  researchr: "https://researchr.org/publication/DanvyY99"
  cites: 0
  citedby: 0
  pages: "224-242"
  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"
  editor:
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  volume: "1576"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65699-5"
  kind: "inproceedings"
  key: "DanvyY99"
- title: "Refunctionalization at Work"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11783596_2"
  links:
    doi: "http://dx.doi.org/10.1007/11783596_2"
  researchr: "https://researchr.org/publication/Danvy06"
  cites: 0
  citedby: 0
  pages: "4"
  booktitle: "Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings"
  editor:
  - name: "Tarmo Uustalu"
    link: "https://researchr.org/alias/tarmo-uustalu"
  volume: "4014"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-35631-2"
  kind: "inproceedings"
  key: "Danvy06"
- title: "Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines"
  author:
  - name: "Malgorzata Biernacka"
    link: "https://researchr.org/alias/malgorzata-biernacka"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-04164-8_10"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-04164-8_10"
  tags:
  - "programming languages"
  - "semantics"
  - "programming"
  - "abstract machine"
  researchr: "https://researchr.org/publication/BiernackaD09"
  cites: 0
  citedby: 0
  pages: "186-206"
  booktitle: "Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday"
  editor:
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  volume: "5700"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-04163-1"
  kind: "inproceedings"
  key: "BiernackaD09"
- title: "Intensions and Extensions in a Reflective Tower"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Karoline Malmkjær"
    link: "https://researchr.org/alias/karoline-malmkj%C3%A6r"
  year: "1988"
  doi: "http://doi.acm.org/10.1145/62678.62725"
  links:
    doi: "http://doi.acm.org/10.1145/62678.62725"
  researchr: "https://researchr.org/publication/DanvyM88"
  cites: 0
  citedby: 0
  pages: "327-341"
  booktitle: "LISP and Functional Programming"
  kind: "inproceedings"
  key: "DanvyM88"
- title: "Online Type-Directed Partial Evaluation"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "1998"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/Danvy98%3A1"
  cites: 0
  citedby: 0
  pages: "271-295"
  booktitle: "Fuji International Symposium on Functional and Logic Programming"
  kind: "inproceedings"
  key: "Danvy98:1"
- title: "Editorial"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2001"
  researchr: "https://researchr.org/publication/DanvyT01"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "14"
  number: "1"
  pages: "5"
  kind: "article"
  key: "DanvyT01"
- title: "Fast partial evaluation of pattern matching in strings"
  author:
  - name: "Mads Sig Ager"
    link: "https://researchr.org/alias/mads-sig-ager"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Henning Korsholm Rohde"
    link: "https://researchr.org/alias/henning-korsholm-rohde"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1146812"
  links:
    doi: "http://doi.acm.org/10.1145/1146812"
  tags:
  - "pattern matching"
  - "partial evaluation"
  researchr: "https://researchr.org/publication/AgerDR06"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "28"
  number: "4"
  pages: "696-714"
  kind: "article"
  key: "AgerDR06"
- title: "On the static and dynamic extents of delimited continuations"
  author:
  - name: "Dariusz Biernacki"
    link: "https://researchr.org/alias/dariusz-biernacki"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Chung-chieh Shan"
    link: "https://researchr.org/alias/chung-chieh-shan"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.scico.2006.01.002"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2006.01.002"
  researchr: "https://researchr.org/publication/BiernackiDS06"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "60"
  number: "3"
  pages: "274-297"
  kind: "article"
  key: "BiernackiDS06"
- title: "Defunctionalization at Work"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Lasse R. Nielsen"
    link: "https://researchr.org/alias/lasse-r.-nielsen"
  year: "2001"
  researchr: "https://researchr.org/publication/DanvyN01"
  cites: 0
  citedby: 0
  pages: "162-174"
  booktitle: "Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, September 5-7, 2001, Florence, Italy"
  publisher: "ACM"
  isbn: "1-58113-388-X"
  kind: "inproceedings"
  key: "DanvyN01"
- title: "On the Transformation between Direct and Continuation Semantics"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  year: "1993"
  tags:
  - "semantics"
  - "transformation"
  researchr: "https://researchr.org/publication/DanvyH93"
  cites: 0
  citedby: 0
  pages: "627-648"
  booktitle: "Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings"
  editor:
  - name: "Stephen D. Brookes"
    link: "https://researchr.org/alias/stephen-d.-brookes"
  - name: "Michael G. Main"
    link: "https://researchr.org/alias/michael-g.-main"
  - name: "Austin Melton"
    link: "https://researchr.org/alias/austin-melton"
  - name: "Michael W. Mislove"
    link: "https://researchr.org/alias/michael-w.-mislove"
  - name: "David A. Schmidt"
    link: "https://researchr.org/alias/david-a.-schmidt"
  volume: "802"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58027-1"
  kind: "inproceedings"
  key: "DanvyH93"
- title: "CPS transformation of flow information, Part II: administrative reductions"
  author:
  - name: "Daniel Damian"
    link: "https://researchr.org/alias/daniel-damian"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796803004702"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796803004702"
  tags:
  - "data-flow"
  - "transformation"
  researchr: "https://researchr.org/publication/DamianD03a"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "13"
  number: "5"
  pages: "925-933"
  kind: "article"
  key: "DamianD03a"
- title: "Editorial"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "1999"
  researchr: "https://researchr.org/publication/DanvyT99c"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "12"
  number: "3"
  pages: "219"
  kind: "article"
  key: "DanvyT99c"
- title: "The Abstraction and Instantiation of String-Matching Programs"
  author:
  - name: "Torben Amtoft"
    link: "https://researchr.org/alias/torben-amtoft"
  - name: "Charles Consel"
    link: "https://researchr.org/alias/charles-consel"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Karoline Malmkjær"
    link: "https://researchr.org/alias/karoline-malmkj%C3%A6r"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2566/25660332.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2566/25660332.htm"
  tags:
  - "abstraction"
  researchr: "https://researchr.org/publication/AmtoftCDM02"
  cites: 0
  citedby: 0
  pages: "332-357"
  booktitle: "The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday]"
  editor:
  - name: "Torben Æ. Mogensen"
    link: "https://researchr.org/alias/torben-%C3%A6.-mogensen"
  - name: "David A. Schmidt"
    link: "https://researchr.org/alias/david-a.-schmidt"
  - name: "Ivan Hal Sudborough"
    link: "https://researchr.org/alias/ivan-hal-sudborough"
  volume: "2566"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-00326-6"
  kind: "inproceedings"
  key: "AmtoftCDM02"
- title: "There and Back Again"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Mayer Goldberg"
    link: "https://researchr.org/alias/mayer-goldberg"
  year: "2005"
  doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=66&issue=4&spage=397"
  links:
    doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=66&issue=4&spage=397"
  researchr: "https://researchr.org/publication/DanvyG05"
  cites: 0
  citedby: 0
  journal: "Fundamenta Informaticae"
  volume: "66"
  number: "4"
  pages: "397-413"
  kind: "article"
  key: "DanvyG05"
- title: "Preface"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Peter W. O Hearn"
    link: "https://researchr.org/alias/peter-w.-o-hearn"
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/wadler/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.tcs.2006.12.024"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2006.12.024"
  researchr: "https://researchr.org/publication/DanvyOW07"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "375"
  number: "1-3"
  pages: "1-2"
  kind: "article"
  key: "DanvyOW07"
- title: "Pragmatics of Type-Directed Partial Evaluation"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "1996"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/Danvy96%3A0"
  cites: 0
  citedby: 0
  pages: "73-94"
  booktitle: "Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers"
  editor:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Peter Thiemann"
    link: "https://researchr.org/alias/peter-thiemann"
  volume: "1110"
  series: "Lecture Notes in Computer Science"
  address: "Dagstuhl Castle, Germany"
  publisher: "Springer"
  isbn: "3-540-61580-6"
  kind: "inproceedings"
  key: "Danvy96:0"
- title: "Editorial"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/s10990-010-9052-x"
  links:
    doi: "http://dx.doi.org/10.1007/s10990-010-9052-x"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/lisp/DanvyT09b"
  researchr: "https://researchr.org/publication/DanvyT09b"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "22"
  number: "4"
  pages: "293"
  kind: "article"
  key: "DanvyT09b"
- title: "Editorial"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "1999"
  researchr: "https://researchr.org/publication/DanvyT99"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "12"
  number: "1"
  pages: "5"
  kind: "article"
  key: "DanvyT99"
- title: "A functional correspondence between evaluators and abstract machines"
  author:
  - name: "Mads Sig Ager"
    link: "https://researchr.org/alias/mads-sig-ager"
  - name: "Dariusz Biernacki"
    link: "https://researchr.org/alias/dariusz-biernacki"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Jan Midtgaard"
    link: "https://researchr.org/alias/jan-midtgaard"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/888251.888254"
  links:
    doi: "http://doi.acm.org/10.1145/888251.888254"
  tags:
  - "abstract machine"
  researchr: "https://researchr.org/publication/AgerBDM03"
  cites: 0
  citedby: 0
  pages: "8-19"
  booktitle: "Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden"
  publisher: "ACM"
  isbn: "1-58113-705-2"
  kind: "inproceedings"
  key: "AgerBDM03"
- title: "Representing Control: A Study of the CPS Transformation"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Andrzej Filinski"
    link: "https://researchr.org/alias/andrzej-filinski"
  year: "1992"
  tags:
  - "transformation"
  researchr: "https://researchr.org/publication/DanvyF92"
  cites: 0
  citedby: 0
  journal: "Mathematical Structures in Computer Science"
  volume: "2"
  number: "4"
  pages: "361-391"
  kind: "article"
  key: "DanvyF92"
- title: "Semantics-Directed Compilation of Nonlinear Patterns"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "1991"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/Danvy91"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "37"
  number: "6"
  pages: "315-322"
  kind: "article"
  key: "Danvy91"
- title: "Many Happy Returns"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2044/20440001.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2044/20440001.htm"
  researchr: "https://researchr.org/publication/Danvy01"
  cites: 0
  citedby: 0
  pages: "1"
  booktitle: "Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001, Proceedings"
  editor:
  - name: "Samson Abramsky"
    link: "https://researchr.org/alias/samson-abramsky"
  volume: "2044"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41960-8"
  kind: "inproceedings"
  key: "Danvy01"
- title: "Back to Direct Style"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "1992"
  researchr: "https://researchr.org/publication/Danvy92"
  cites: 0
  citedby: 0
  pages: "130-150"
  booktitle: "ESOP  92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings"
  editor:
  - name: "Bernd Krieg-Brückner"
    link: "https://researchr.org/alias/bernd-krieg-br%C3%BCckner"
  volume: "582"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-55253-7"
  kind: "inproceedings"
  key: "Danvy92"
- title: "The Essence of Eta-Expansion in Partial Evaluation"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Karoline Malmkjær"
    link: "https://researchr.org/alias/karoline-malmkj%C3%A6r"
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  year: "1994"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/DanvyMP94"
  cites: 0
  citedby: 0
  pages: "11-20"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "DanvyMP94"
- title: "Editorial"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/s10990-007-9021-1"
  links:
    doi: "http://dx.doi.org/10.1007/s10990-007-9021-1"
  researchr: "https://researchr.org/publication/Danvy07"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "20"
  number: "3"
  pages: "197-198"
  kind: "article"
  key: "Danvy07"
- title: "Partial Evaluation in Parallel"
  author:
  - name: "Charles Consel"
    link: "https://researchr.org/alias/charles-consel"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "1992"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/ConselD92"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "5"
  number: "4"
  pages: "327-342"
  kind: "article"
  key: "ConselD92"
- title: "A Symmetric Approach to Compilation and Decompilation"
  author:
  - name: "Mads Sig Ager"
    link: "https://researchr.org/alias/mads-sig-ager"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Mayer Goldberg"
    link: "https://researchr.org/alias/mayer-goldberg"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2566/25660296.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2566/25660296.htm"
  tags:
  - "decompilation"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/AgerDG02"
  cites: 0
  citedby: 0
  pages: "296-331"
  booktitle: "The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday]"
  editor:
  - name: "Torben Æ. Mogensen"
    link: "https://researchr.org/alias/torben-%C3%A6.-mogensen"
  - name: "David A. Schmidt"
    link: "https://researchr.org/alias/david-a.-schmidt"
  - name: "Ivan Hal Sudborough"
    link: "https://researchr.org/alias/ivan-hal-sudborough"
  volume: "2566"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-00326-6"
  kind: "inproceedings"
  key: "AgerDG02"
- title: "A Rational Deconstruction of Landin s SECD Machine with the J Operator"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Kevin Millikin"
    link: "https://researchr.org/alias/kevin-millikin"
  year: "2008"
  doi: "http://dx.doi.org/10.2168/LMCS-4(4:12)2008"
  links:
    doi: "http://dx.doi.org/10.2168/LMCS-4(4:12)2008"
  researchr: "https://researchr.org/publication/DanvyM08-1"
  cites: 0
  citedby: 0
  journal: "Logical Methods in Computer Science"
  volume: "4"
  number: "4"
  kind: "article"
  key: "DanvyM08-1"
- title: "On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Kevin Millikin"
    link: "https://researchr.org/alias/kevin-millikin"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.ipl.2007.10.010"
  links:
    doi: "http://dx.doi.org/10.1016/j.ipl.2007.10.010"
  tags:
  - "abstract machine"
  researchr: "https://researchr.org/publication/DanvyM08"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "106"
  number: "3"
  pages: "100-109"
  kind: "article"
  key: "DanvyM08"
- title: "A Higher-Order Colon Translation"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Lasse R. Nielsen"
    link: "https://researchr.org/alias/lasse-r.-nielsen"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2024/20240078.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2024/20240078.htm"
  tags:
  - "translation"
  researchr: "https://researchr.org/publication/DanvyN01%3A1"
  cites: 0
  citedby: 0
  pages: "78-91"
  booktitle: "Functional and Logic Programming, 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001, Proceedings"
  editor:
  - name: "Herbert Kuchen"
    link: "https://researchr.org/alias/herbert-kuchen"
  - name: "Kazunori Ueda"
    link: "https://researchr.org/alias/kazunori-ueda"
  volume: "2024"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41739-7"
  kind: "inproceedings"
  key: "DanvyN01:1"
- title: "Eta-Expansion Does The Trick"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Karoline Malmkjær"
    link: "https://researchr.org/alias/karoline-malmkj%C3%A6r"
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  year: "1996"
  doi: "http://doi.acm.org/10.1145/236114.236119"
  links:
    doi: "http://doi.acm.org/10.1145/236114.236119"
  researchr: "https://researchr.org/publication/DanvyP96"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "18"
  number: "6"
  pages: "730-751"
  kind: "article"
  key: "DanvyP96"
- title: "Editorial"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Takayasu Ito"
    link: "https://researchr.org/alias/takayasu-ito"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2002"
  researchr: "https://researchr.org/publication/DanvyIT02"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "15"
  number: "1"
  pages: "5"
  kind: "article"
  key: "DanvyIT02"
- title: "Memoization in Type-Directed Partial Evaluation"
  author:
  - name: "Vincent Balat"
    link: "https://researchr.org/alias/vincent-balat"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2487/24870078.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2487/24870078.htm"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/BalatD02"
  cites: 0
  citedby: 0
  pages: "78-92"
  booktitle: "Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings"
  editor:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Charles Consel"
    link: "https://researchr.org/alias/charles-consel"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  volume: "2487"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-44284-7"
  kind: "inproceedings"
  key: "BalatD02"
- title: "A syntactic correspondence between context-sensitive calculi and abstract machines"
  author:
  - name: "Malgorzata Biernacka"
    link: "https://researchr.org/alias/malgorzata-biernacka"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.tcs.2006.12.028"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2006.12.028"
  tags:
  - "context-aware"
  - "abstract machine"
  researchr: "https://researchr.org/publication/BiernackaD07"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "375"
  number: "1-3"
  pages: "76-108"
  kind: "article"
  key: "BiernackaD07"
- title: "Type-Directed Partial Evaluation"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "1998"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/Danvy98%3A0"
  cites: 0
  citedby: 0
  pages: "367-411"
  booktitle: "Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998"
  editor:
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Torben Æ. Mogensen"
    link: "https://researchr.org/alias/torben-%C3%A6.-mogensen"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  volume: "1706"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66710-5"
  kind: "inproceedings"
  key: "Danvy98:0"
- title: "Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation"
  author:
  - name: "Vincent Balat"
    link: "https://researchr.org/alias/vincent-balat"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1473/14730240.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1473/14730240.htm"
  tags:
  - "code generation"
  - "partial evaluation"
  researchr: "https://researchr.org/publication/BalatD98"
  cites: 0
  citedby: 0
  pages: "240-252"
  booktitle: "Types in Compilation, Second International Workshop, TIC  98, Kyoto, Japan, March 25-27, 1998, Proceedings"
  editor:
  - name: "Xavier Leroy"
    link: "http://pauillac.inria.fr/~xleroy/"
  - name: "Atsushi Ohori"
    link: "https://researchr.org/alias/atsushi-ohori"
  volume: "1473"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64925-5"
  kind: "inproceedings"
  key: "BalatD98"
- title: "On inter-deriving small-step and big-step semantics: A case study for storeless call-by-need evaluation"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Kevin Millikin"
    link: "https://researchr.org/alias/kevin-millikin"
  - name: "Johan Munk"
    link: "https://researchr.org/alias/johan-munk"
  - name: "Ian Zerny"
    link: "https://researchr.org/alias/ian-zerny"
  year: "2012"
  doi: "http://dx.doi.org/10.1016/j.tcs.2012.02.023"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2012.02.023"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/tcs/DanvyMMZ12"
  researchr: "https://researchr.org/publication/DanvyMMZ12"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "435"
  pages: "21-42"
  kind: "article"
  key: "DanvyMMZ12"
- title: "Back to Direct Style II: First-Class Continuations"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Julia L. Lawall"
    link: "http://www.diku.dk/hjemmesider/ansatte/julia/"
  year: "1992"
  doi: "http://doi.acm.org/10.1145/141471.141564"
  links:
    doi: "http://doi.acm.org/10.1145/141471.141564"
  researchr: "https://researchr.org/publication/DanvyL92"
  cites: 0
  citedby: 0
  pages: "299-310"
  booktitle: "Proceedings of the 1992 ACM Conference on LISP and Functional Programming"
  series: "LFP '92"
  address: "New York, NY, USA"
  publisher: "Association for Computing Machinery"
  kind: "inproceedings"
  key: "DanvyL92"
- title: "From Interpreting to Compiling Binding Times"
  author:
  - name: "Charles Consel"
    link: "https://researchr.org/alias/charles-consel"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "1990"
  tags:
  - "compiler"
  researchr: "https://researchr.org/publication/ConselD90"
  cites: 0
  citedby: 0
  pages: "88-105"
  booktitle: "ESOP 90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings"
  editor:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  volume: "432"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-52592-0"
  kind: "inproceedings"
  key: "ConselD90"
- title: "Resource-Bounded Partial Evaluation"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Nevin Hentze"
    link: "https://researchr.org/alias/nevin-hentze"
  - name: "Karoline Malmkjær"
    link: "https://researchr.org/alias/karoline-malmkj%C3%A6r"
  year: "1996"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/DanvyHM96"
  cites: 0
  citedby: 0
  journal: "ACM Computing Surveys"
  volume: "28"
  number: "2"
  pages: "329-332"
  kind: "article"
  key: "DanvyHM96"
- title: "Editorial"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Oege de Moor"
    link: "http://progtools.comlab.ox.ac.uk/members/oege"
  - name: "Julian A. Padget"
    link: "https://researchr.org/alias/julian-a.-padget"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s10990-006-8607-3"
  links:
    doi: "http://dx.doi.org/10.1007/s10990-006-8607-3"
  researchr: "https://researchr.org/publication/DanvyMPT06"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "19"
  number: "1"
  pages: "5"
  kind: "article"
  key: "DanvyMPT06"
- title: "A Simple Solution to Type Specialization"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1443/14430908.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1443/14430908.htm"
  researchr: "https://researchr.org/publication/Danvy98%3A2"
  cites: 0
  citedby: 0
  pages: "908-917"
  booktitle: "Automata, Languages and Programming, 25th International Colloquium, ICALP 98, Aalborg, Denmark, July 13-17, 1998, Proceedings"
  editor:
  - name: "Kim Guldstrand Larsen"
    link: "https://researchr.org/alias/kim-guldstrand-larsen"
  - name: "Sven Skyum"
    link: "https://researchr.org/alias/sven-skyum"
  - name: "Glynn Winskel"
    link: "https://researchr.org/alias/glynn-winskel"
  volume: "1443"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64781-3"
  kind: "inproceedings"
  key: "Danvy98:2"
- title: "Inter-deriving Semantic Artifacts for Object-Oriented Programming"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Jacob Johannsen"
    link: "https://researchr.org/alias/jacob-johannsen"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-69937-8_1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-69937-8_1"
  tags:
  - "object-oriented programming"
  - "meta programming"
  - "programming"
  - "subject-oriented programming"
  - "Meta-Environment"
  - "feature-oriented programming"
  - "meta-objects"
  researchr: "https://researchr.org/publication/DanvyJ08"
  cites: 0
  citedby: 0
  pages: "1-16"
  booktitle: "Logic, Language, Information and Computation, 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings"
  editor:
  - name: "Wilfrid Hodges"
    link: "https://researchr.org/alias/wilfrid-hodges"
  - name: "Ruy J. G. B. de Queiroz"
    link: "https://researchr.org/alias/ruy-j.-g.-b.-de-queiroz"
  volume: "5110"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-69936-1"
  kind: "inproceedings"
  key: "DanvyJ08"
- title: "Introduction"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "1999"
  researchr: "https://researchr.org/publication/DanvyT99a"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "12"
  number: "2"
  pages: "123-124"
  kind: "article"
  key: "DanvyT99a"
- title: "A first-order one-pass CPS transformation"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Lasse R. Nielsen"
    link: "https://researchr.org/alias/lasse-r.-nielsen"
  year: "2003"
  doi: "http://dx.doi.org/10.1016/S0304-3975(02)00733-8"
  links:
    doi: "http://dx.doi.org/10.1016/S0304-3975(02)00733-8"
  tags:
  - "higher-order transformations"
  - "transformation"
  researchr: "https://researchr.org/publication/DanvyN03"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "308"
  number: "1-3"
  pages: "239-257"
  kind: "article"
  key: "DanvyN03"
- title: "Editorial"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2002"
  researchr: "https://researchr.org/publication/DanvyT02"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "15"
  number: "4"
  pages: "271"
  kind: "article"
  key: "DanvyT02"
- title: "Partial Evaluation of Pattern Matching in Strings"
  author:
  - name: "Charles Consel"
    link: "https://researchr.org/alias/charles-consel"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "1989"
  tags:
  - "pattern matching"
  - "partial evaluation"
  researchr: "https://researchr.org/publication/ConselD89"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "30"
  number: "2"
  pages: "79-86"
  kind: "article"
  key: "ConselD89"
- title: "Syntactic Theories in Practice"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Lasse R. Nielsen"
    link: "https://researchr.org/alias/lasse-r.-nielsen"
  year: "2001"
  doi: "http://www.elsevier.nl/locate/entcs/volume59.html"
  links:
    doi: "http://www.elsevier.nl/locate/entcs/volume59.html"
  researchr: "https://researchr.org/publication/DanvyN01%3A0"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "59"
  number: "4"
  pages: "358-374"
  kind: "article"
  key: "DanvyN01:0"
- title: "Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types"
  author:
  - name: "Anders Bondorf"
    link: "https://researchr.org/alias/anders-bondorf"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "1990"
  tags:
  - "data-flow"
  - "partial evaluation"
  researchr: "https://researchr.org/publication/BondorfD91"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "16"
  number: "2"
  pages: "151-195"
  kind: "article"
  key: "BondorfD91"
- title: "Lambda-Lifting in Quadratic Time"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Ulrik Pagh Schultz"
    link: "http://www.mip.sdu.dk/~ups/"
  year: "2004"
  doi: "http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2004/A2004-01/JFLP-A2004-01.pdf"
  links:
    doi: "http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2004/A2004-01/JFLP-A2004-01.pdf"
  researchr: "https://researchr.org/publication/DanvyS04"
  cites: 0
  citedby: 0
  journal: "Journal of Functional and Logic Programming"
  volume: "2004"
  kind: "article"
  key: "DanvyS04"
- title: "On obtaining the Boyer-Moore string-matching algorithm by partial evaluation"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Henning Korsholm Rohde"
    link: "https://researchr.org/alias/henning-korsholm-rohde"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.ipl.2006.04.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.ipl.2006.04.001"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/DanvyR06"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "99"
  number: "4"
  pages: "158-162"
  kind: "article"
  key: "DanvyR06"
- title: "Editorial"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2000"
  researchr: "https://researchr.org/publication/DanvyT00a"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "13"
  number: "3"
  pages: "159-160"
  kind: "article"
  key: "DanvyT00a"
- title: "Editorial: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation"
  author:
  - name: "Wei-Ngan Chin"
    link: "https://researchr.org/alias/wei-ngan-chin"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  year: "2004"
  doi: "http://dx.doi.org/10.1023/B:LISP.0000029481.73168.ef"
  links:
    doi: "http://dx.doi.org/10.1023/B:LISP.0000029481.73168.ef"
  tags:
  - "semantics"
  - "rule-based"
  - "partial evaluation"
  researchr: "https://researchr.org/publication/ChinDT04"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "17"
  number: "1-2"
  pages: "5-6"
  kind: "article"
  key: "ChinDT04"
- title: "Defunctionalized interpreters for programming languages"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1411204.1411206"
  links:
    doi: "http://doi.acm.org/10.1145/1411204.1411206"
  tags:
  - "programming languages"
  - "interpreter"
  - "programming"
  researchr: "https://researchr.org/publication/Danvy08"
  cites: 0
  citedby: 0
  pages: "131-142"
  booktitle: "Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008"
  editor:
  - name: "James Hook"
    link: "https://researchr.org/alias/james-hook"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  publisher: "ACM"
  isbn: "978-1-59593-919-7"
  kind: "inproceedings"
  key: "Danvy08"
- title: "Three syntactic theories for combinatory graph reduction"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Ian Zerny"
    link: "https://researchr.org/alias/ian-zerny"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2528932"
  links:
    doi: "http://doi.acm.org/10.1145/2528932"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/tocl/DanvyZ13"
  researchr: "https://researchr.org/publication/DanvyZ13-0"
  cites: 0
  citedby: 0
  journal: "ACM Trans. Comput. Log."
  volume: "14"
  number: "4"
  pages: "29"
  kind: "article"
  key: "DanvyZ13-0"
- title: "From Outermost Reduction Semantics to Abstract Machine"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Jacob Johannsen"
    link: "https://researchr.org/alias/jacob-johannsen"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-319-14125-1_6"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-14125-1_6"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/lopstr/DanvyJ13"
  researchr: "https://researchr.org/publication/DanvyJ13"
  cites: 0
  citedby: 0
  pages: "91-108"
  booktitle: "Logic-Based Program Synthesis and Transformation, 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers"
  editor:
  - name: "Gopal Gupta"
    link: "https://researchr.org/alias/gopal-gupta"
  - name: "Ricardo Peña"
    link: "https://researchr.org/alias/ricardo-pe%C3%B1a"
  volume: "8901"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-319-14125-1"
  kind: "inproceedings"
  key: "DanvyJ13"
- title: "Editorial"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "R. Kent Dybvig"
    link: "https://researchr.org/alias/r.-kent-dybvig"
  - name: "Julia L. Lawall"
    link: "http://www.diku.dk/hjemmesider/ansatte/julia/"
  - name: "Peter Thiemann"
    link: "https://researchr.org/alias/peter-thiemann"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/s10990-008-9036-2"
  links:
    doi: "http://dx.doi.org/10.1007/s10990-008-9036-2"
  researchr: "https://researchr.org/publication/DanvyDLT08"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "21"
  number: "3"
  pages: "237-238"
  kind: "article"
  key: "DanvyDLT08"
- title: "Three Syntactic Theories for Combinatory Graph Reduction"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Ian Zerny"
    link: "https://researchr.org/alias/ian-zerny"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-20551-4_1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-20551-4_1"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/lopstr/DanvyZ10"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/DanvyZ10"
  cites: 0
  citedby: 0
  pages: "1-20"
  booktitle: "Logic-Based Program Synthesis and Transformation - 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers"
  editor:
  - name: "María Alpuente"
    link: "https://researchr.org/alias/mar%26iacute%3Ba-alpuente"
  volume: "6564"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-20550-7"
  kind: "inproceedings"
  key: "DanvyZ10"
- title: "A functional correspondence between call-by-need evaluators and lazy abstract machines"
  author:
  - name: "Mads Sig Ager"
    link: "https://researchr.org/alias/mads-sig-ager"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Jan Midtgaard"
    link: "https://researchr.org/alias/jan-midtgaard"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.ipl.2004.02.012"
  links:
    doi: "http://dx.doi.org/10.1016/j.ipl.2004.02.012"
  tags:
  - "laziness"
  - "abstract machine"
  researchr: "https://researchr.org/publication/AgerDM04"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "90"
  number: "5"
  pages: "223-232"
  kind: "article"
  key: "AgerDM04"
- title: "A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration"
  author:
  - name: "Luca Chiarabini"
    link: "https://researchr.org/alias/luca-chiarabini"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "2011"
  doi: "http://dx.doi.org/10.6092/issn.1972-5787/2225"
  links:
    doi: "http://dx.doi.org/10.6092/issn.1972-5787/2225"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jfrea/ChiarabiniD11"
  researchr: "https://researchr.org/publication/ChiarabiniD11"
  cites: 0
  citedby: 0
  journal: "J. Formalized Reasoning"
  volume: "4"
  number: "1"
  pages: "85-109"
  kind: "article"
  key: "ChiarabiniD11"
- title: "A concrete framework for environment machines"
  author:
  - name: "Malgorzata Biernacka"
    link: "https://researchr.org/alias/malgorzata-biernacka"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1297658.1297664"
  links:
    doi: "http://doi.acm.org/10.1145/1297658.1297664"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/BiernackaD07%3A0"
  cites: 0
  citedby: 0
  journal: "ACM Trans. Comput. Log."
  volume: "9"
  number: "1"
  pages: "6"
  kind: "article"
  key: "BiernackaD07:0"
- title: "A functional correspondence between monadic evaluators and abstract machines for languages with computational effects"
  author:
  - name: "Mads Sig Ager"
    link: "https://researchr.org/alias/mads-sig-ager"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Jan Midtgaard"
    link: "https://researchr.org/alias/jan-midtgaard"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.tcs.2005.06.008"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2005.06.008"
  tags:
  - "abstract machine"
  researchr: "https://researchr.org/publication/AgerDM05"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "342"
  number: "1"
  pages: "149-172"
  kind: "article"
  key: "AgerDM05"
- title: "A Self-Applicable Partial Evaluator for the Lambda Calculus"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Carsten K. Gomard"
    link: "https://researchr.org/alias/carsten-k.-gomard"
  - name: "Anders Bondorf"
    link: "https://researchr.org/alias/anders-bondorf"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Torben Æ. Mogensen"
    link: "https://researchr.org/alias/torben-%C3%A6.-mogensen"
  year: "1990"
  doi: "http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=63760&tag=1"
  abstract: "A description is given of theoretical and a few practical aspects of an implemented self-applicable partial evaluator for the call by value untyped lambda calculus with constants, conditionals, and a fixed point operator. A partial evaluator that is both high-order and self-applicable is also described. A solution to the problem of binding time analysis is presented. The partial evaluator is simple, completely automatic, and implemented in a side-effect free subset of Scheme. It has been used to compile, to generate compilers, and to generate a compiler generator."
  links:
    doi: "http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=63760&tag=1"
  tags:
  - "analysis"
  - "compiler"
  - "partial evaluation"
  researchr: "https://researchr.org/publication/JonesGBDM90"
  cites: 0
  citedby: 0
  pages: "49-58"
  booktitle: "1990 Internation Conference on Computer Languages, March 12-15 1990, New Orleans, Louisiana, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-8186-2036-6"
  kind: "inproceedings"
  key: "JonesGBDM90"
- title: "Normalization by evaluation with typed abstract syntax"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Morten Rhiger"
    link: "https://researchr.org/alias/morten-rhiger"
  - name: "Kristoffer Høgsbro Rose"
    link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/krisrose.index.html"
  year: "2001"
  tags:
  - "abstract syntax"
  researchr: "https://researchr.org/publication/DanvyRR01"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "11"
  number: "6"
  pages: "673-680"
  kind: "article"
  key: "DanvyRR01"
- title: "A Unifying Approach to Goal-directed Evaluation"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Bernd Grobauer"
    link: "https://researchr.org/alias/bernd-grobauer"
  - name: "Morten Rhiger"
    link: "https://researchr.org/alias/morten-rhiger"
  year: "2001"
  tags:
  - "systematic-approach"
  researchr: "https://researchr.org/publication/DanvyGR01"
  cites: 0
  citedby: 0
  journal: "New Generation Comput."
  volume: "20"
  number: "1"
  pages: "53-74"
  kind: "article"
  key: "DanvyGR01"
- title: "Partial Evaluation for Program Speedups"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "1994"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/Danvy94%3A0"
  cites: 0
  citedby: 0
  pages: "579-580"
  booktitle: "IFIP Congress (1)"
  kind: "inproceedings"
  key: "Danvy94:0"
- title: "The Essence of Eta-Expansion in Partial Evaluation"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Karoline Malmkjær"
    link: "https://researchr.org/alias/karoline-malmkj%C3%A6r"
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  year: "1995"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/DanvyMP95"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "8"
  number: "3"
  pages: "209-227"
  kind: "article"
  key: "DanvyMP95"
- title: "A Computational Formalization for Partial Evaluation"
  author:
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "1997"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/HatcliffD97"
  cites: 0
  citedby: 0
  journal: "Mathematical Structures in Computer Science"
  volume: "7"
  number: "5"
  pages: "507-541"
  kind: "article"
  key: "HatcliffD97"
- title: "Pragmatics for formal semantics"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/2047862.2047878"
  links:
    doi: "http://doi.acm.org/10.1145/2047862.2047878"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gpce/Danvy11"
  researchr: "https://researchr.org/publication/Danvy11"
  cites: 0
  citedby: 0
  pages: "93-94"
  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"
  editor:
  - name: "Ewen Denney"
    link: "https://researchr.org/alias/ewen-denney"
  - name: "Ulrik Pagh Schultz"
    link: "https://researchr.org/alias/ulrik-pagh-schultz"
  publisher: "ACM"
  isbn: "978-1-4503-0689-8"
  kind: "inproceedings"
  key: "Danvy11"
- title: "Static and Dynamic Semantics Processing"
  author:
  - name: "Charles Consel"
    link: "https://researchr.org/alias/charles-consel"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "1991"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/ConselD91%3A0"
  cites: 0
  citedby: 0
  pages: "14-24"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "ConselD91:0"
- title: "Editorial"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Hayo Thielecke"
    link: "https://researchr.org/alias/hayo-thielecke"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/s10990-007-9020-2"
  links:
    doi: "http://dx.doi.org/10.1007/s10990-007-9020-2"
  researchr: "https://researchr.org/publication/DanvyT07"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "20"
  number: "4"
  pages: "337-338"
  kind: "article"
  key: "DanvyT07"
- title: "Thunks (Continued)"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  year: "1992"
  researchr: "https://researchr.org/publication/DanvyH92"
  cites: 0
  citedby: 0
  pages: "3-11"
  booktitle: "WSA"
  kind: "inproceedings"
  key: "DanvyH92"
- title: "An Extensional Characterization of Lambda-Lifting and Lambda-Dropping"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "1999"
  researchr: "https://researchr.org/publication/Danvy99"
  cites: 0
  citedby: 0
  pages: "241-250"
  booktitle: "Functional and Logic Programming, 4th Fuji International Symposium, FLOPS 99, Tsukuba, Japan, November 11-13, 1999, Proceedings"
  editor:
  - name: "Aart Middeldorp"
    link: "https://researchr.org/alias/aart-middeldorp"
  - name: "Taisuke Sato"
    link: "https://researchr.org/alias/taisuke-sato"
  volume: "1722"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66677-X"
  kind: "inproceedings"
  key: "Danvy99"
- title: "A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations"
  author:
  - name: "Dariusz Biernacki"
    link: "https://researchr.org/alias/dariusz-biernacki"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Kevin Millikin"
    link: "https://researchr.org/alias/kevin-millikin"
  year: "2015"
  doi: "http://doi.acm.org/10.1145/2794078"
  links:
    doi: "http://doi.acm.org/10.1145/2794078"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/toplas/BiernackiDM15"
  researchr: "https://researchr.org/publication/BiernackiDM15"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "38"
  number: "1"
  pages: "2"
  kind: "article"
  key: "BiernackiDM15"
- title: "From Reduction-based to Reduction-free Normalization"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.01.007"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2005.01.007"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/Danvy05"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "124"
  number: "2"
  pages: "79-100"
  kind: "article"
  key: "Danvy05"
- title: "A Generic Account of Continuation-Passing Styles"
  author:
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "1994"
  researchr: "https://researchr.org/publication/HatcliffD94"
  cites: 0
  citedby: 0
  pages: "458-471"
  booktitle: "Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages"
  kind: "inproceedings"
  key: "HatcliffD94"
- title: "A Unifying Approach to Goal-Directed Evaluation"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Bernd Grobauer"
    link: "https://researchr.org/alias/bernd-grobauer"
  - name: "Morten Rhiger"
    link: "https://researchr.org/alias/morten-rhiger"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2196/21960108.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2196/21960108.htm"
  tags:
  - "systematic-approach"
  researchr: "https://researchr.org/publication/DanvyGR01%3A0"
  cites: 0
  citedby: 0
  pages: "108-125"
  booktitle: "Semantics, Applications, and Implementation of Program Generation, Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001, Proceedings"
  editor:
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  volume: "2196"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42558-6"
  kind: "inproceedings"
  key: "DanvyGR01:0"
- title: "Type-Directed Partial Evaluation"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "1996"
  doi: "http://doi.acm.org/10.1145/237721.237784"
  links:
    doi: "http://doi.acm.org/10.1145/237721.237784"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/Danvy96"
  cites: 0
  citedby: 0
  pages: "242-257"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "Danvy96"
- title: "Lambda-dropping: transforming recursive equations into programs with block structure"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Ulrik Pagh Schultz"
    link: "http://www.mip.sdu.dk/~ups/"
  year: "2000"
  doi: "http://dx.doi.org/10.1016/S0304-3975(00)00054-2"
  links:
    doi: "http://dx.doi.org/10.1016/S0304-3975(00)00054-2"
  researchr: "https://researchr.org/publication/DanvyS00"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "248"
  number: "1-2"
  pages: "243-287"
  kind: "article"
  key: "DanvyS00"
- title: "Editorial"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Amr Sabry"
    link: "https://researchr.org/alias/amr-sabry"
  year: "2002"
  researchr: "https://researchr.org/publication/DanvyS02"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "15"
  number: "2-3"
  pages: "139-140"
  kind: "article"
  key: "DanvyS02"
- title: "Editorial"
  author:
  - name: "David A. Basin"
    link: "https://researchr.org/alias/david-a.-basin"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Robert Harper"
    link: "http://www.cs.cmu.edu/~rwh/"
  year: "2004"
  doi: "http://dx.doi.org/10.1023/B:LISP.0000029480.20108.7d"
  links:
    doi: "http://dx.doi.org/10.1023/B:LISP.0000029480.20108.7d"
  researchr: "https://researchr.org/publication/BasinDH04"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "17"
  number: "3"
  pages: "171"
  kind: "article"
  key: "BasinDH04"
- title: "Refunctionalization at work"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Kevin Millikin"
    link: "https://researchr.org/alias/kevin-millikin"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.scico.2007.10.007"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2007.10.007"
  researchr: "https://researchr.org/publication/DanvyM09"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "74"
  number: "8"
  pages: "534-549"
  kind: "article"
  key: "DanvyM09"
- title: "Program Extraction From Proofs of Weak Head Normalization"
  author:
  - name: "Malgorzata Biernacka"
    link: "https://researchr.org/alias/malgorzata-biernacka"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Kristian Støvring"
    link: "https://researchr.org/alias/kristian-st%C3%B8vring"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.11.056"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2005.11.056"
  researchr: "https://researchr.org/publication/BiernackaDS06"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "155"
  pages: "169-189"
  kind: "article"
  key: "BiernackaDS06"
- title: "Editorial"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Fritz Henglein"
    link: "http://www.diku.dk/hjemmesider/ansatte/henglein/"
  - name: "Harry G. Mairson"
    link: "https://researchr.org/alias/harry-g.-mairson"
  - name: "Alberto Pettorossi"
    link: "https://researchr.org/alias/alberto-pettorossi"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/s10990-005-7001-x"
  links:
    doi: "http://dx.doi.org/10.1007/s10990-005-7001-x"
  researchr: "https://researchr.org/publication/DanvyHMP05"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "18"
  number: "1-2"
  pages: "5-6"
  kind: "article"
  key: "DanvyHMP05"
- title: "CPS-Transformation After Strictness Analysis"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  year: "1992"
  tags:
  - "analysis"
  - "transformation"
  researchr: "https://researchr.org/publication/DanvyH92%3A0"
  cites: 0
  citedby: 0
  journal: "LOPLAS"
  volume: "1"
  number: "3"
  pages: "195-212"
  kind: "article"
  key: "DanvyH92:0"
- title: "A New One-Pass Transformation into Monadic Normal Form"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2622/26220077.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2622/26220077.htm"
  tags:
  - "transformation"
  researchr: "https://researchr.org/publication/Danvy03"
  cites: 0
  citedby: 0
  pages: "77-89"
  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"
  editor:
  - name: "Görel Hedin"
    link: "http://cs.lth.se/gorel_hedin"
  volume: "2622"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-00904-3"
  kind: "inproceedings"
  key: "Danvy03"
- title: "Editorial: Special Issue Dedicated to Bob Paige"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Fritz Henglein"
    link: "http://www.diku.dk/hjemmesider/ansatte/henglein/"
  - name: "Harry G. Mairson"
    link: "https://researchr.org/alias/harry-g.-mairson"
  - name: "Alberto Pettorossi"
    link: "https://researchr.org/alias/alberto-pettorossi"
  year: "2003"
  doi: "http://dx.doi.org/10.1023/A:1023059701827"
  links:
    doi: "http://dx.doi.org/10.1023/A:1023059701827"
  researchr: "https://researchr.org/publication/DanvyHMP03"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "16"
  number: "1-2"
  pages: "5-6"
  kind: "article"
  key: "DanvyHMP03"
- title: "Circularity and Lambda Abstraction: From Bird to Pettorossi and back"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Peter Thiemann"
    link: "https://researchr.org/alias/peter-thiemann"
  - name: "Ian Zerny"
    link: "https://researchr.org/alias/ian-zerny"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2620678.2620687"
  links:
    doi: "http://doi.acm.org/10.1145/2620678.2620687"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ifl/DanvyTZ13"
  researchr: "https://researchr.org/publication/DanvyTZ13"
  cites: 0
  citedby: 0
  pages: "85"
  booktitle: "Proceedings of the 25th Symposium on Implementation and Application of Functional Languages, Nijmegen, The Netherlands, August 28-30, 2013"
  editor:
  - name: "Rinus Plasmeijer"
    link: "https://researchr.org/alias/rinus-plasmeijer"
  publisher: "ACM"
  isbn: "978-1-4503-2988-0"
  kind: "inproceedings"
  key: "DanvyTZ13"
- title: "From Reduction-Based to Reduction-Free Normalization"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-642-04652-0_3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-04652-0_3"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/Danvy08-0"
  cites: 0
  citedby: 0
  pages: "66-164"
  booktitle: "Advanced Functional Programming, 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures"
  editor:
  - name: "Pieter W. M. Koopman"
    link: "https://researchr.org/alias/pieter-w.-m.-koopman"
  - name: "Rinus Plasmeijer"
    link: "https://researchr.org/alias/rinus-plasmeijer"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  volume: "5832"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-04651-3"
  kind: "inproceedings"
  key: "Danvy08-0"
- title: "Tagging, Encoding, and Jones Optimality"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Pablo E. Martínez López"
    link: "https://researchr.org/alias/pablo-e.-mart%C3%ADnez-l%C3%B3pez"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2618/26180335.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2618/26180335.htm"
  tags:
  - "tagging"
  - "e-science"
  researchr: "https://researchr.org/publication/DanvyL03"
  cites: 0
  citedby: 0
  pages: "335-347"
  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"
  editor:
  - name: "Pierpaolo Degano"
    link: "https://researchr.org/alias/pierpaolo-degano"
  volume: "2618"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-00886-1"
  kind: "inproceedings"
  key: "DanvyL03"
- title: "Editorial"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/s10990-010-9051-y"
  links:
    doi: "http://dx.doi.org/10.1007/s10990-010-9051-y"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/lisp/DanvyT09a"
  researchr: "https://researchr.org/publication/DanvyT09a"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "22"
  number: "3"
  pages: "197"
  kind: "article"
  key: "DanvyT09a"
- title: "A Rational Deconstruction of Landin's SECD Machine with the J Operator"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Kevin Millikin"
    link: "https://researchr.org/alias/kevin-millikin"
  year: "2008"
  doi: "http://arxiv.org/abs/0811.3231"
  note: "informal publication"
  links:
    doi: "http://arxiv.org/abs/0811.3231"
  researchr: "https://researchr.org/publication/abs-0811-3231"
  cites: 0
  citedby: 0
  journal: "CoRR"
  volume: "abs/0811.3231"
  kind: "article"
  key: "abs-0811-3231"
- title: "Abstracting Control"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Andrzej Filinski"
    link: "https://researchr.org/alias/andrzej-filinski"
  year: "1990"
  doi: "http://doi.acm.org/10.1145/91556.91622"
  links:
    doi: "http://doi.acm.org/10.1145/91556.91622"
  researchr: "https://researchr.org/publication/DanvyF90"
  cites: 0
  citedby: 0
  pages: "151-160"
  booktitle: "LISP and Functional Programming"
  kind: "inproceedings"
  key: "DanvyF90"
- title: "Editorial"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Andrzej Filinski"
    link: "https://researchr.org/alias/andrzej-filinski"
  - name: "Jean-Louis Giavitto"
    link: "https://researchr.org/alias/jean-louis-giavitto"
  - name: "Andy King"
    link: "https://researchr.org/alias/andy-king"
  - name: "Pierre-Etienne Moreau"
    link: "http://www.loria.fr/~moreau/dokuwiki/doku.php"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s10990-006-0478-0"
  links:
    doi: "http://dx.doi.org/10.1007/s10990-006-0478-0"
  researchr: "https://researchr.org/publication/DanvyFGKMT06"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "19"
  number: "4"
  pages: "343-344"
  kind: "article"
  key: "DanvyFGKMT06"
- title: "A synthetic operational account of call-by-need evaluation"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Ian Zerny"
    link: "https://researchr.org/alias/ian-zerny"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2505879.2505898"
  links:
    doi: "http://doi.acm.org/10.1145/2505879.2505898"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ppdp/DanvyZ13"
  researchr: "https://researchr.org/publication/DanvyZ13"
  cites: 0
  citedby: 0
  pages: "97-108"
  booktitle: "15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013"
  editor:
  - name: "Ricardo Peña"
    link: "https://researchr.org/alias/ricardo-pe%C3%B1a"
  - name: "Tom Schrijvers"
    link: "https://researchr.org/alias/tom-schrijvers"
  publisher: "ACM"
  isbn: "978-1-4503-2154-9"
  kind: "inproceedings"
  key: "DanvyZ13"
- title: "Peter J. Landin (1930-2009)"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/s10990-009-9048-6"
  links:
    doi: "http://dx.doi.org/10.1007/s10990-009-9048-6"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/lisp/Danvy09"
  researchr: "https://researchr.org/publication/Danvy09-0"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "22"
  number: "2"
  pages: "191-195"
  kind: "article"
  key: "Danvy09-0"
- title: "Separating Stages in the Continuation-Passing Style Transformation"
  author:
  - name: "Julia L. Lawall"
    link: "http://www.diku.dk/hjemmesider/ansatte/julia/"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "1993"
  tags:
  - "transformation"
  researchr: "https://researchr.org/publication/LawallD93"
  cites: 0
  citedby: 0
  pages: "124-136"
  booktitle: "Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages"
  kind: "inproceedings"
  key: "LawallD93"
- title: "A walk in the semantic park"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Jacob Johannsen"
    link: "https://researchr.org/alias/jacob-johannsen"
  - name: "Ian Zerny"
    link: "https://researchr.org/alias/ian-zerny"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/1929501.1929503"
  links:
    doi: "http://doi.acm.org/10.1145/1929501.1929503"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pepm/DanvyJZ11"
  researchr: "https://researchr.org/publication/DanvyJZ11"
  cites: 0
  citedby: 0
  pages: "1-12"
  booktitle: "Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2011, Austin, TX, USA, January 24-25, 2011"
  editor:
  - name: "Siau-Cheng Khoo"
    link: "https://researchr.org/alias/siau-cheng-khoo"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  publisher: "ACM"
  isbn: "978-1-4503-0485-6"
  kind: "inproceedings"
  key: "DanvyJZ11"
- title: "Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "René Vestergaard"
    link: "https://researchr.org/alias/ren%C3%A9-vestergaard"
  year: "1996"
  tags:
  - "semantics"
  - "rule-based"
  - "case study"
  - "compiler"
  - "partial evaluation"
  researchr: "https://researchr.org/publication/DanvyV96"
  cites: 0
  citedby: 0
  pages: "182-197"
  booktitle: "Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP 96, Aachen, Germany, September 24-27, 1996, Proceedings"
  editor:
  - name: "Herbert Kuchen"
    link: "https://researchr.org/alias/herbert-kuchen"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  volume: "1140"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61756-6"
  kind: "inproceedings"
  key: "DanvyV96"
- title: "A First-Order One-Pass CPS Transformation"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Lasse R. Nielsen"
    link: "https://researchr.org/alias/lasse-r.-nielsen"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2303/23030098.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2303/23030098.htm"
  tags:
  - "higher-order transformations"
  - "transformation"
  researchr: "https://researchr.org/publication/DanvyN02"
  cites: 0
  citedby: 0
  pages: "98-113"
  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"
  editor:
  - name: "Mogens Nielsen"
    link: "https://researchr.org/alias/mogens-nielsen"
  - name: "Uffe Engberg"
    link: "https://researchr.org/alias/uffe-engberg"
  volume: "2303"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43366-X"
  kind: "inproceedings"
  key: "DanvyN02"
- title: "Editorial"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Ian A. Mason"
    link: "https://researchr.org/alias/ian-a.-mason"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/s10990-008-9040-6"
  links:
    doi: "http://dx.doi.org/10.1007/s10990-008-9040-6"
  researchr: "https://researchr.org/publication/DanvyM08-0"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "21"
  number: "4"
  pages: "359"
  kind: "article"
  key: "DanvyM08-0"
- title: "Editorial"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Ian A. Mason"
    link: "https://researchr.org/alias/ian-a.-mason"
  year: "2004"
  doi: "http://springerlink.metapress.com/index/10.1007/s10990-004-4865-0"
  links:
    doi: "http://springerlink.metapress.com/index/10.1007/s10990-004-4865-0"
  researchr: "https://researchr.org/publication/DanvyM04"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "17"
  number: "4"
  pages: "275"
  kind: "article"
  key: "DanvyM04"
- title: "On Barron and Strachey s cartesian product function"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "J. Michael Spivey"
    link: "https://researchr.org/alias/j.-michael-spivey"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1291151.1291161"
  links:
    doi: "http://doi.acm.org/10.1145/1291151.1291161"
  researchr: "https://researchr.org/publication/DanvyS07"
  cites: 0
  citedby: 0
  pages: "41-46"
  booktitle: "Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007"
  editor:
  - name: "Ralf Hinze"
    link: "https://researchr.org/alias/ralf-hinze"
  - name: "Norman Ramsey"
    link: "http://www.cs.tufts.edu/~nr/"
  publisher: "ACM"
  isbn: "978-1-59593-815-2"
  kind: "inproceedings"
  key: "DanvyS07"
- title: "Partial Evaluation of the Euclidian Algorithm"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Mayer Goldberg"
    link: "https://researchr.org/alias/mayer-goldberg"
  year: "1997"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/DanvyG97"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "10"
  number: "2"
  pages: "101-111"
  kind: "article"
  key: "DanvyG97"
- title: "Syntactic accidents in program analysis: on the impact of the CPS transformation"
  author:
  - name: "Daniel Damian"
    link: "https://researchr.org/alias/daniel-damian"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "2000"
  doi: "http://doi.acm.org/10.1145/351240.351260"
  links:
    doi: "http://doi.acm.org/10.1145/351240.351260"
  tags:
  - "program analysis"
  - "analysis"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/DamianD00"
  cites: 0
  citedby: 0
  pages: "209-220"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "DamianD00"
- title: "Editorial"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2000"
  researchr: "https://researchr.org/publication/DanvyT00b"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "13"
  number: "4"
  pages: "287-288"
  kind: "article"
  key: "DanvyT00b"
- title: "Editorial"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Takayasu Ito"
    link: "https://researchr.org/alias/takayasu-ito"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2001"
  researchr: "https://researchr.org/publication/DanvyIT01"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "14"
  number: "4"
  pages: "307"
  kind: "article"
  key: "DanvyIT01"
- title: "Editorial"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Julian A. Padget"
    link: "https://researchr.org/alias/julian-a.-padget"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/s10990-009-9041-0"
  links:
    doi: "http://dx.doi.org/10.1007/s10990-009-9041-0"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/lisp/DanvyP09"
  researchr: "https://researchr.org/publication/DanvyP09"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "22"
  number: "1"
  pages: "1"
  kind: "article"
  key: "DanvyP09"
- title: "For a Better Support of Static Data Flow"
  author:
  - name: "Charles Consel"
    link: "https://researchr.org/alias/charles-consel"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "1991"
  tags:
  - " continuation-passing style"
  - "binding-time"
  - "data-flow"
  - "partial evaluation"
  researchr: "https://researchr.org/publication/ConselD91"
  cites: 0
  citedby: 0
  pages: "496-519"
  booktitle: "Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings"
  editor:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  volume: "523"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-54396-1"
  kind: "inproceedings"
  key: "ConselD91"
- title: "1998 Symposium on Partial Evaluation"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  year: "1998"
  doi: "http://doi.acm.org/10.1145/292469.293684"
  links:
    doi: "http://doi.acm.org/10.1145/292469.293684"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/DanvyGT98"
  cites: 0
  citedby: 0
  journal: "ACM Computing Surveys"
  volume: "30"
  number: "3"
  pages: "285-290"
  kind: "article"
  key: "DanvyGT98"
- title: "An Operational Foundation for Delimited Continuations in<br><br> the<br><br><br> CPS<br><br> Hierarchy"
  author:
  - name: "Malgorzata Biernacka"
    link: "https://researchr.org/alias/malgorzata-biernacka"
  - name: "Dariusz Biernacki"
    link: "https://researchr.org/alias/dariusz-biernacki"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "2005"
  doi: "http://arxiv.org/abs/cs/0508048"
  note: "informal publication"
  links:
    doi: "http://arxiv.org/abs/cs/0508048"
  researchr: "https://researchr.org/publication/abs-cs-0508048"
  cites: 0
  citedby: 0
  journal: "CoRR"
  volume: "abs/cs/0508048"
  kind: "article"
  key: "abs-cs-0508048"
- title: "Editorial"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Julia L. Lawall"
    link: "http://www.diku.dk/hjemmesider/ansatte/julia/"
  year: "2001"
  researchr: "https://researchr.org/publication/DanvyL01"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "14"
  number: "2-3"
  pages: "99-100"
  kind: "article"
  key: "DanvyL01"
- title: "Abstracting abstract machines: technical perspective"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Jan Midtgaard"
    link: "https://researchr.org/alias/jan-midtgaard"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/1995376.1995399"
  links:
    doi: "http://doi.acm.org/10.1145/1995376.1995399"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/cacm/DanvyM11"
  tags:
  - "abstract machine"
  researchr: "https://researchr.org/publication/DanvyM11"
  cites: 0
  citedby: 0
  journal: "Communications of the ACM"
  volume: "54"
  number: "9"
  pages: "100"
  kind: "article"
  key: "DanvyM11"
- title: "Tutorial Notes on Partial Evaluation"
  author:
  - name: "Charles Consel"
    link: "https://researchr.org/alias/charles-consel"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "1993"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/ConselD93"
  cites: 0
  citedby: 0
  pages: "493-501"
  booktitle: "Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages"
  kind: "inproceedings"
  key: "ConselD93"
- title: "A Journey from Interpreters to Compilers and Virtual Machines"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2830&spage=117"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2830&spage=117"
  tags:
  - "interpreter"
  - "compiler"
  researchr: "https://researchr.org/publication/Danvy03%3A0"
  cites: 0
  citedby: 0
  pages: "117"
  booktitle: "Generative Programming and Component Engineering, Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings"
  editor:
  - name: "Frank Pfenning"
    link: "http://www.cs.cmu.edu/~fp/"
  - name: "Yannis Smaragdakis"
    link: "http://smaragd.org"
  volume: "2830"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20102-5"
  kind: "inproceedings"
  key: "Danvy03:0"
- title: "On proving syntactic properties of CPS programs"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Belmina Dzafic"
    link: "https://researchr.org/alias/belmina-dzafic"
  - name: "Frank Pfenning"
    link: "http://www.cs.cmu.edu/~fp/"
  year: "1999"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/50/23/show/Products/notes/index.htt#003"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/50/23/show/Products/notes/index.htt#003"
  researchr: "https://researchr.org/publication/DanvyDP99"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "26"
  pages: "21-33"
  kind: "article"
  key: "DanvyDP99"
- title: "Defunctionalized Interpreters for Call-by-Need Evaluation"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Kevin Millikin"
    link: "https://researchr.org/alias/kevin-millikin"
  - name: "Johan Munk"
    link: "https://researchr.org/alias/johan-munk"
  - name: "Ian Zerny"
    link: "https://researchr.org/alias/ian-zerny"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-12251-4_18"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-12251-4_18"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/flops/DanvyMMZ10"
  tags:
  - "interpreter"
  researchr: "https://researchr.org/publication/DanvyMMZ10"
  cites: 0
  citedby: 0
  pages: "240-256"
  booktitle: "Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings"
  editor:
  - name: "Matthias Blume"
    link: "https://researchr.org/alias/matthias-blume"
  - name: "Naoki Kobayashi"
    link: "https://researchr.org/alias/naoki-kobayashi"
  - name: "Germán Vidal"
    link: "https://researchr.org/alias/germ%C3%A1n-vidal"
  volume: "6009"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-12250-7"
  kind: "inproceedings"
  key: "DanvyMMZ10"
- title: "Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-04164-8_9"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-04164-8_9"
  tags:
  - "programming languages"
  - "semantics"
  - "denotational semantics"
  - "programming"
  - "abstract machine"
  researchr: "https://researchr.org/publication/Danvy09"
  cites: 0
  citedby: 0
  pages: "162-185"
  booktitle: "Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday"
  editor:
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  volume: "5700"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-04163-1"
  kind: "inproceedings"
  key: "Danvy09"
- title: "There and back again"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Mayer Goldberg"
    link: "https://researchr.org/alias/mayer-goldberg"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/581478.581500"
  links:
    doi: "http://doi.acm.org/10.1145/581478.581500"
  researchr: "https://researchr.org/publication/DanvyG02"
  cites: 0
  citedby: 0
  pages: "230-234"
  booktitle: "Proceedings of the seventh ACM SIGPLAN international conference on Functional Programming (ICFP 2002)"
  kind: "inproceedings"
  key: "DanvyG02"
- title: "Back to Direct Style"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "1994"
  researchr: "https://researchr.org/publication/Danvy94"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "22"
  number: "3"
  pages: "183-195"
  kind: "article"
  key: "Danvy94"
- title: "Editorial"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/s10990-009-9045-9"
  links:
    doi: "http://dx.doi.org/10.1007/s10990-009-9045-9"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/lisp/DanvyT09"
  researchr: "https://researchr.org/publication/DanvyT09"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "22"
  number: "2"
  pages: "113"
  kind: "article"
  key: "DanvyT09"
- title: "On the dynamic extent of delimited continuations"
  author:
  - name: "Dariusz Biernacki"
    link: "https://researchr.org/alias/dariusz-biernacki"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Chung-chieh Shan"
    link: "https://researchr.org/alias/chung-chieh-shan"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.ipl.2005.04.003"
  links:
    doi: "http://dx.doi.org/10.1016/j.ipl.2005.04.003"
  researchr: "https://researchr.org/publication/BiernackiDS05"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "96"
  number: "1"
  pages: "7-17"
  kind: "article"
  key: "BiernackiDS05"
- title: "From Interpreter to Logic Engine by Defunctionalization"
  author:
  - name: "Dariusz Biernacki"
    link: "https://researchr.org/alias/dariusz-biernacki"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3018&spage=143"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3018&spage=143"
  tags:
  - "interpreter"
  - "logic"
  researchr: "https://researchr.org/publication/BiernackiD03"
  cites: 0
  citedby: 0
  pages: "143-159"
  booktitle: "Logic Based Program Synthesis and Transformation, 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers"
  editor:
  - name: "Maurice Bruynooghe"
    link: "https://researchr.org/alias/maurice-bruynooghe"
  volume: "3018"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22174-3"
  kind: "inproceedings"
  key: "BiernackiD03"
- title: "Inter-deriving semantic artifacts for object-oriented programming"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Jacob Johannsen"
    link: "https://researchr.org/alias/jacob-johannsen"
  year: "2010"
  doi: "http://dx.doi.org/10.1016/j.jcss.2009.10.004"
  links:
    doi: "http://dx.doi.org/10.1016/j.jcss.2009.10.004"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jcss/DanvyJ10"
  tags:
  - "object-oriented programming"
  - "meta programming"
  - "programming"
  - "subject-oriented programming"
  - "Meta-Environment"
  - "feature-oriented programming"
  - "meta-objects"
  researchr: "https://researchr.org/publication/DanvyJ10"
  cites: 0
  citedby: 0
  journal: "J. Comput. Syst. Sci."
  volume: "76"
  number: "5"
  pages: "302-323"
  kind: "article"
  key: "DanvyJ10"
- title: "Static Transition Compression"
  author:
  - name: "Daniel Damian"
    link: "https://researchr.org/alias/daniel-damian"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2196/21960092.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2196/21960092.htm"
  researchr: "https://researchr.org/publication/DamianD01"
  cites: 0
  citedby: 0
  pages: "92-107"
  booktitle: "Semantics, Applications, and Implementation of Program Generation, Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001, Proceedings"
  editor:
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  volume: "2196"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42558-6"
  kind: "inproceedings"
  key: "DamianD01"
- title: "Folding left and right over Peano numbers"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "2019"
  doi: "https://doi.org/10.1017/S0956796819000042"
  links:
    doi: "https://doi.org/10.1017/S0956796819000042"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jfp/Danvy19"
  researchr: "https://researchr.org/publication/Danvy19"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "29"
  kind: "article"
  key: "Danvy19"
- title: "A Simple Take on Typed Abstract Syntax in Haskell-like Languages"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Morten Rhiger"
    link: "https://researchr.org/alias/morten-rhiger"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2024/20240343.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2024/20240343.htm"
  tags:
  - "abstract syntax"
  - "Haskell"
  researchr: "https://researchr.org/publication/DanvyR01"
  cites: 0
  citedby: 0
  pages: "343-358"
  booktitle: "Functional and Logic Programming, 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001, Proceedings"
  editor:
  - name: "Herbert Kuchen"
    link: "https://researchr.org/alias/herbert-kuchen"
  - name: "Kazunori Ueda"
    link: "https://researchr.org/alias/kazunori-ueda"
  volume: "2024"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41739-7"
  kind: "inproceedings"
  key: "DanvyR01"
- title: "CPS transformation of beta-redexes"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Lasse R. Nielsen"
    link: "https://researchr.org/alias/lasse-r.-nielsen"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.ipl.2005.02.002"
  links:
    doi: "http://dx.doi.org/10.1016/j.ipl.2005.02.002"
  tags:
  - "transformation"
  researchr: "https://researchr.org/publication/DanvyN05"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "94"
  number: "5"
  pages: "217-224"
  kind: "article"
  key: "DanvyN05"
- title: "A Rational Deconstruction of Landin s SECD Machine"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "2004"
  doi: "http://dx.doi.org/10.1007/11431664_4"
  links:
    doi: "http://dx.doi.org/10.1007/11431664_4"
  researchr: "https://researchr.org/publication/Danvy04"
  cites: 0
  citedby: 0
  pages: "52-71"
  booktitle: "Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers"
  editor:
  - name: "Clemens Grelck"
    link: "https://researchr.org/alias/clemens-grelck"
  - name: "Frank Huch"
    link: "https://researchr.org/alias/frank-huch"
  - name: "Greg Michaelson"
    link: "https://researchr.org/alias/greg-michaelson"
  - name: "Philip W. Trinder"
    link: "https://researchr.org/alias/philip-w.-trinder"
  volume: "3474"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-26094-3"
  kind: "inproceedings"
  key: "Danvy04"
- title: "Higher-Order Rewriting and Partial Evaluation"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Kristoffer Høgsbro Rose"
    link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/krisrose.index.html"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1379/13790286.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1379/13790286.htm"
  tags:
  - "graph-rewriting"
  - "partial evaluation"
  - "rewriting"
  researchr: "https://researchr.org/publication/DanvyR98"
  cites: 0
  citedby: 0
  pages: "286-301"
  booktitle: "Rewriting Techniques and Applications, 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings"
  editor:
  - name: "Tobias Nipkow"
    link: "https://researchr.org/alias/tobias-nipkow"
  volume: "1379"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64301-X"
  kind: "inproceedings"
  key: "DanvyR98"
- title: "Thunks and the lambda-Calculus"
  author:
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "1997"
  researchr: "https://researchr.org/publication/HatcliffD97%3A0"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "7"
  number: "3"
  pages: "303-319"
  kind: "article"
  key: "HatcliffD97:0"
- title: "A Rational Deconstruction of Landin s J Operator"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Kevin Millikin"
    link: "https://researchr.org/alias/kevin-millikin"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11964681_4"
  links:
    doi: "http://dx.doi.org/10.1007/11964681_4"
  researchr: "https://researchr.org/publication/DanvyM05"
  cites: 0
  citedby: 0
  pages: "55-73"
  booktitle: "Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers"
  editor:
  - name: "Andrew Butterfield"
    link: "https://researchr.org/alias/andrew-butterfield"
  - name: "Clemens Grelck"
    link: "https://researchr.org/alias/clemens-grelck"
  - name: "Frank Huch"
    link: "https://researchr.org/alias/frank-huch"
  volume: "4015"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-69174-X"
  kind: "inproceedings"
  key: "DanvyM05"
- title: "Lambda-Lifting in Quadratic Time"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Ulrik Pagh Schultz"
    link: "http://www.mip.sdu.dk/~ups/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2441/24410134.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2441/24410134.htm"
  researchr: "https://researchr.org/publication/DanvyS02%3A0"
  cites: 0
  citedby: 0
  pages: "134-151"
  booktitle: "Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings"
  editor:
  - name: "Zhenjiang Hu"
    link: "https://researchr.org/alias/zhenjiang-hu"
  - name: "Mario Rodríguez-Artalejo"
    link: "https://researchr.org/alias/mario-rodr%C3%ADguez-artalejo"
  volume: "2441"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-44233-2"
  kind: "inproceedings"
  key: "DanvyS02:0"
- title: "An Operational Foundation for Delimited Continuations in the CPS Hierarchy"
  author:
  - name: "Malgorzata Biernacka"
    link: "https://researchr.org/alias/malgorzata-biernacka"
  - name: "Dariusz Biernacki"
    link: "https://researchr.org/alias/dariusz-biernacki"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "2005"
  doi: "http://dx.doi.org/10.2168/LMCS-1(2:5)2005"
  links:
    doi: "http://dx.doi.org/10.2168/LMCS-1(2:5)2005"
  researchr: "https://researchr.org/publication/BiernackaBD05"
  cites: 0
  citedby: 0
  journal: "Logical Methods in Computer Science"
  volume: "1"
  number: "2"
  kind: "article"
  key: "BiernackaBD05"
- title: "Fast partial evaluation of pattern matching in strings"
  author:
  - name: "Mads Sig Ager"
    link: "https://researchr.org/alias/mads-sig-ager"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Henning Korsholm Rohde"
    link: "https://researchr.org/alias/henning-korsholm-rohde"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/777388.777390"
  links:
    doi: "http://doi.acm.org/10.1145/777388.777390"
  tags:
  - "pattern matching"
  - "partial evaluation"
  researchr: "https://researchr.org/publication/AgerDR03"
  cites: 0
  citedby: 0
  pages: "3-9"
  booktitle: "Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003, San Diego, California, USA, June 7, 2003"
  publisher: "ACM"
  isbn: "1-58113-667-6"
  kind: "inproceedings"
  key: "AgerDR03"
- title: "On obtaining Knuth, Morris, and Pratt s string matcher by partial evaluation"
  author:
  - name: "Mads Sig Ager"
    link: "https://researchr.org/alias/mads-sig-ager"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Henning Korsholm Rohde"
    link: "https://researchr.org/alias/henning-korsholm-rohde"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/568173.568177"
  links:
    doi: "http://doi.acm.org/10.1145/568173.568177"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/AgerDR02"
  cites: 0
  citedby: 0
  pages: "32-46"
  booktitle: "ASIA-PEPM"
  kind: "inproceedings"
  key: "AgerDR02"
- title: "Formalizing Implementation Strategies for First-Class Continuations"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1782/17820088.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1782/17820088.htm"
  researchr: "https://researchr.org/publication/Danvy00"
  cites: 0
  citedby: 0
  pages: "88-103"
  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"
  editor:
  - name: "Gert Smolka"
    link: "https://researchr.org/alias/gert-smolka"
  volume: "1782"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67262-1"
  kind: "inproceedings"
  key: "Danvy00"
- title: "Memory allocation and higher-order functions"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "1987"
  doi: "http://doi.acm.org/10.1145/29650.29676"
  links:
    doi: "http://doi.acm.org/10.1145/29650.29676"
  researchr: "https://researchr.org/publication/Danvy87"
  cites: 0
  citedby: 0
  pages: "241-252"
  booktitle: "Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24 - 26, 1987"
  publisher: "ACM"
  kind: "inproceedings"
  key: "Danvy87"
- title: "Theoretical Pearl: A simple proof of a folklore theorem about delimited control"
  author:
  - name: "Dariusz Biernacki"
    link: "https://researchr.org/alias/dariusz-biernacki"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "2006"
  doi: "http://dx.doi.org/10.1017/S0956796805005782"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796805005782"
  researchr: "https://researchr.org/publication/BiernackiD06"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "16"
  number: "3"
  pages: "269-280"
  kind: "article"
  key: "BiernackiD06"
- title: "On one-pass CPS transformations"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Kevin Millikin"
    link: "https://researchr.org/alias/kevin-millikin"
  - name: "Lasse R. Nielsen"
    link: "https://researchr.org/alias/lasse-r.-nielsen"
  year: "2007"
  doi: "http://dx.doi.org/10.1017/S0956796807006387"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796807006387"
  tags:
  - "transformation"
  researchr: "https://researchr.org/publication/DanvyMN07"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "17"
  number: "6"
  pages: "793-812"
  kind: "article"
  key: "DanvyMN07"
- title: "Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Ulrik Pagh Schultz"
    link: "http://www.mip.sdu.dk/~ups/"
  year: "1997"
  doi: "http://doi.acm.org/10.1145/258993.259007"
  links:
    doi: "http://doi.acm.org/10.1145/258993.259007"
  researchr: "https://researchr.org/publication/DanvyS97"
  cites: 0
  citedby: 0
  pages: "90-106"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "DanvyS97"
- title: "Functional Unparsing"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "1998"
  researchr: "https://researchr.org/publication/Danvy98"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "8"
  number: "6"
  pages: "621-625"
  kind: "article"
  key: "Danvy98"
- title: "Typeful Normalization by Evaluation"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Chantal Keller"
    link: "https://researchr.org/alias/chantal-keller"
  - name: "Matthias Puech"
    link: "https://researchr.org/alias/matthias-puech"
  year: "2014"
  doi: "http://dx.doi.org/10.4230/LIPIcs.TYPES.2014.72"
  links:
    doi: "http://dx.doi.org/10.4230/LIPIcs.TYPES.2014.72"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/types/DanvyKP14"
  researchr: "https://researchr.org/publication/DanvyKP14"
  cites: 0
  citedby: 0
  pages: "72-88"
  booktitle: "20th International Conference on Types for Proofs and Programs, TYPES 2014, May 12-15, 2014, Paris, France"
  editor:
  - name: "Hugo Herbelin"
    link: "https://researchr.org/alias/hugo-herbelin"
  - name: "Pierre Letouzey"
    link: "https://researchr.org/alias/pierre-letouzey"
  - name: "Matthieu Sozeau"
    link: "https://researchr.org/alias/matthieu-sozeau"
  volume: "39"
  series: "LIPIcs"
  publisher: "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik"
  isbn: "978-3-939897-88-0"
  kind: "inproceedings"
  key: "DanvyKP14"
- title: "Editorial"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2000"
  researchr: "https://researchr.org/publication/DanvyT00"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "13"
  number: "1/2"
  pages: "5-6"
  kind: "article"
  key: "DanvyT00"
- title: "Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-24933-4"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-24933-4"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/birthday/2011talcott"
  researchr: "https://researchr.org/publication/birthday-2011talcott"
  cites: 0
  citedby: 0
  booktitle: "Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday"
  conference: "BIRTHDAY"
  editor:
  - name: "Gul Agha"
    link: "https://researchr.org/alias/gul-agha"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "José Meseguer"
    link: "https://researchr.org/alias/jos%C3%A9-meseguer"
  volume: "7000"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-24932-7"
  kind: "proceedings"
  key: "birthday-2011talcott"
- 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"
  year: "1991"
  doi: "http://dl.acm.org/citation.cfm?id=115865"
  links:
    doi: "http://dl.acm.org/citation.cfm?id=115865"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pepm/1991"
  researchr: "https://researchr.org/publication/pepm-1991"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991"
  conference: "PEPM"
  editor:
  - name: "Charles Consel"
    link: "https://researchr.org/alias/charles-consel"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  publisher: "ACM"
  isbn: "0-89791-433-3"
  kind: "proceedings"
  key: "pepm-1991"
- title: "Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming, Scheme 2012, Copenhagen, Denmark, September 9-15, 2012"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2661103"
  links:
    doi: "http://doi.acm.org/10.1145/2661103"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/2012scheme"
  researchr: "https://researchr.org/publication/icfp-2012scheme"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming, Scheme 2012, Copenhagen, Denmark, September 9-15, 2012"
  conference: "ICFP"
  editor:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  publisher: "ACM"
  isbn: "978-1-4503-1895-2"
  kind: "proceedings"
  key: "icfp-2012scheme"
- title: "Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011"
  year: "2011"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/2011"
  researchr: "https://researchr.org/publication/icfp-2011"
  cites: 0
  citedby: 0
  booktitle: "Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011"
  conference: "ICFP"
  editor:
  - name: "Manuel M. T. Chakravarty"
    link: "https://researchr.org/alias/manuel-m.-t.-chakravarty"
  - name: "Zhenjiang Hu"
    link: "https://researchr.org/alias/zhenjiang-hu"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  publisher: "ACM"
  isbn: "978-1-4503-0865-6"
  kind: "proceedings"
  key: "icfp-2011"
- title: "Programs as Data Objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings"
  year: "2001"
  tags:
  - "object-oriented programming"
  - "data-flow programming"
  - "subject-oriented programming"
  - "feature-oriented programming"
  researchr: "https://researchr.org/publication/pado%3A2001"
  cites: 0
  citedby: 0
  booktitle: "Programs as Data Objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings"
  conference: "pado"
  editor:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Andrzej Filinski"
    link: "https://researchr.org/alias/andrzej-filinski"
  volume: "2053"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42068-1"
  kind: "proceedings"
  key: "pado:2001"
- title: "Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005"
  year: "2005"
  tags:
  - "functional programming"
  - "programming"
  researchr: "https://researchr.org/publication/icfp%3A2005"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005"
  conference: "ICFP"
  editor:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Benjamin C. Pierce"
    link: "http://www.cis.upenn.edu/~bcpierce/"
  publisher: "ACM"
  isbn: "1-59593-064-7"
  kind: "proceedings"
  key: "icfp:2005"
- 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"
  year: "1999"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pepm/1999"
  researchr: "https://researchr.org/publication/pepm-1999"
  cites: 0
  citedby: 0
  booktitle: "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"
  conference: "PEPM"
  editor:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  publisher: "University of Aarhus"
  kind: "proceedings"
  key: "pepm-1999"
- title: "Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014"
  year: "2014"
  doi: "http://dl.acm.org/citation.cfm?id=2643135"
  links:
    doi: "http://dl.acm.org/citation.cfm?id=2643135"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ppdp/2014"
  researchr: "https://researchr.org/publication/ppdp-2014"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014"
  conference: "ppdp"
  editor:
  - name: "Olaf Chitil"
    link: "https://researchr.org/alias/olaf-chitil"
  - name: "Andy King"
    link: "https://researchr.org/alias/andy-king"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  publisher: "ACM"
  isbn: "978-1-4503-2947-7"
  kind: "proceedings"
  key: "ppdp-2014"
- title: "Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers"
  year: "1996"
  month: "February"
  doi: "https://doi.org/10.1007/3-540-61580-6"
  links:
    doi: "https://doi.org/10.1007/3-540-61580-6"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/dagstuhl%3A1996pe"
  cites: 0
  citedby: 0
  booktitle: "Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers"
  conference: "Dagstuhl"
  editor:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Peter Thiemann"
    link: "https://researchr.org/alias/peter-thiemann"
  volume: "1110"
  series: "Lecture Notes in Computer Science"
  address: "Dagstuhl Castle, Germany"
  publisher: "Springer"
  isbn: "3-540-61580-6"
  kind: "proceedings"
  key: "dagstuhl:1996pe"