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: "DSL"
  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: "JFP"
  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: "lfp"
  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: "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: "TCS"
  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: "lisp"
  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: "ESOP"
  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: "mpc"
  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: "BIRTHDAY"
  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: "lfp"
  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: "FLOPS"
  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: "lisp"
  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: "TOPLAS"
  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: "SCP"
  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: "ppdp"
  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: "mfps"
  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: "JFP"
  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: "lisp"
  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: "BIRTHDAY"
  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: "FUIN"
  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: "TCS"
  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: "Dagstuhl"
  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: "lisp"
  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: "lisp"
  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: "ppdp"
  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: "mscs"
  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: "ipl"
  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: "tlca"
  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"
  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: "lisp"
  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: "lisp"
  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: "BIRTHDAY"
  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: "lmcs"
  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: "ipl"
  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: "FLOPS"
  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: "TOPLAS"
  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: "lisp"
  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: "GPCE"
  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: "TCS"
  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: "PEPM"
  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: "tic"
  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: "TCS"
  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: "lfp"
  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"
  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 Comput. Surv."
  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: "lisp"
  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: "icalp"
  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: "wollic"
  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: "lisp"
  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: "TCS"
  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: "lisp"
  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: "ipl"
  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: "TCS"
  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: "SCP"
  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: "jflp"
  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: "ipl"
  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: "lisp"
  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: "lisp"
  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: "ICFP"
  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: "tocl"
  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: "LOPSTR"
  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: "lisp"
  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: "LOPSTR"
  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: "ipl"
  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: "jfrea"
  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: "tocl"
  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: "TCS"
  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: "iccl"
  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: "JFP"
  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: "ngc"
  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: "ifip11-9"
  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: "lisp"
  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: "mscs"
  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: "GPCE"
  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: "lisp"
  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: "SAS"
  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: "FLOPS"
  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: "TOPLAS"
  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: "ENTCS"
  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: "POPL"
  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: "saig"
  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: "TCS"
  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: "lisp"
  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: "lisp"
  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: "SCP"
  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: "ENTCS"
  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: "lisp"
  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: "cc"
  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: "lisp"
  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: "IFL"
  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: "afp"
  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: "ESOP"
  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: "lisp"
  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"
  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: "lfp"
  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: "lisp"
  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: "ppdp"
  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: "lisp"
  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: "POPL"
  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: "PEPM"
  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: "plilp"
  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: "fossacs"
  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: "lisp"
  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: "lisp"
  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: "ICFP"
  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: "lisp"
  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: "lisp"
  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: "lisp"
  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: "lisp"
  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: "fpca"
  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 Comput. Surv."
  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"
  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: "lisp"
  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: "CACM"
  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: "POPL"
  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: "GPCE"
  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: "ENTCS"
  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: "FLOPS"
  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: "BIRTHDAY"
  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: "ICFP"
  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: "SCP"
  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: "lisp"
  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: "ipl"
  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: "LOPSTR"
  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: "jcss"
  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: "saig"
  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: "JFP"
  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: "FLOPS"
  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: "ipl"
  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: "IFL"
  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: "RTA"
  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: "JFP"
  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: "IFL"
  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: "FLOPS"
  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: "lmcs"
  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: "PEPM"
  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: "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: "ESOP"
  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: "PLDI"
  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: "JFP"
  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: "JFP"
  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: "JFP"
  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: "TYPES"
  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: "lisp"
  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"