publications:
- title: "A Spreadsheet Client for Web Applications"
  author:
  - name: "Dirk Draheim"
    link: "https://researchr.org/alias/dirk-draheim"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  - name: "Gerald Weber"
    link: "https://researchr.org/alias/gerald-weber"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11780991_24"
  links:
    doi: "http://dx.doi.org/10.1007/11780991_24"
  tags:
  - "web applications"
  researchr: "https://researchr.org/publication/DraheimTW06"
  cites: 0
  citedby: 0
  pages: "274-286"
  booktitle: "ngits"
  kind: "inproceedings"
  key: "DraheimTW06"
- title: "Integration of an Action Language Via UML Action Semantics"
  author:
  - name: "Claudius Heitz"
    link: "https://researchr.org/alias/claudius-heitz"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  - name: "Thomas Wölfle"
    link: "https://researchr.org/alias/thomas-w%C3%B6lfle"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/978-3-540-75912-6_13"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-75912-6_13"
  tags:
  - "semantics"
  - " action semantics"
  - "UML"
  researchr: "https://researchr.org/publication/HeitzTW06"
  cites: 0
  citedby: 0
  pages: "172-186"
  booktitle: "teaa"
  kind: "inproceedings"
  key: "HeitzTW06"
- title: "07051 Executive Summary -- Programming Paradigms for the Web: Web Programming and Web Services"
  author:
  - name: "Richard Hull"
    link: "https://researchr.org/alias/richard-hull"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/wadler/"
  year: "2007"
  doi: "http://drops.dagstuhl.de/opus/volltexte/2007/1125"
  abstract: "The world-wide web raises a variety of new programming challenges. To name a few: programming at the level of the web browser, data-centric approaches, and attempts to automatically discover and compose web services. This seminar brought together researchers from the web programming and web services communities and strove to engage them in communication with each other. The seminar was held in an unusual style, in a mixture of short presentations and in-depth discussion sessions in small groups. This style enabled the participants to identify and discuss burning questions in small birds-of-a-feather sessions as well as in large plenary sessions. It required active participation of all attendees."
  links:
    doi: "http://drops.dagstuhl.de/opus/volltexte/2007/1125"
  tags:
  - "web programming"
  - "web service"
  - "data-flow programming"
  - "data-flow"
  - "programming paradigms"
  - "web services"
  - "programming"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/HullTW07"
  cites: 0
  citedby: 0
  booktitle: "Dagstuhl"
  kind: "inproceedings"
  key: "HullTW07"
- title: "Drawing Syntax Diagrams in Haskell"
  author:
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  year: "1997"
  tags:
  - "Haskell"
  researchr: "https://researchr.org/publication/Thiemann97%3A1"
  cites: 0
  citedby: 0
  journal: "SPE"
  volume: "27"
  number: "8"
  pages: "967-982"
  kind: "article"
  key: "Thiemann97:1"
- title: "Bootstrapping higher-order program transformers from interpreters"
  author:
  - name: "Michael Sperber"
    link: "https://researchr.org/alias/michael-sperber"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  year: "1996"
  doi: "http://doi.acm.org/10.1145/331119.331417"
  links:
    doi: "http://doi.acm.org/10.1145/331119.331417"
  tags:
  - "interpreter"
  researchr: "https://researchr.org/publication/SperberGT96"
  cites: 0
  citedby: 0
  pages: "408-413"
  booktitle: "SAC"
  kind: "inproceedings"
  key: "SperberGT96"
- title: "07051 Working Group Outcomes -- Programming Paradigms for the Web: Web Programming and Web Services"
  author:
  - name: "Richard Hull"
    link: "https://researchr.org/alias/richard-hull"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/wadler/"
  year: "2007"
  doi: "http://drops.dagstuhl.de/opus/volltexte/2007/1127"
  links:
    doi: "http://drops.dagstuhl.de/opus/volltexte/2007/1127"
  tags:
  - "web service"
  - "programming paradigms"
  - "web services"
  - "programming"
  researchr: "https://researchr.org/publication/HullTW07a"
  cites: 0
  citedby: 0
  booktitle: "Dagstuhl"
  kind: "inproceedings"
  key: "HullTW07a"
- title: "An Implementation of Session Types"
  author:
  - name: "Matthias Neubauer"
    link: "https://researchr.org/alias/matthias-neubauer"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3057&spage=56"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3057&spage=56"
  researchr: "https://researchr.org/publication/NeubauerT04"
  cites: 0
  citedby: 0
  pages: "56-70"
  booktitle: "PADL"
  kind: "inproceedings"
  key: "NeubauerT04"
- title: "Compiling Adaptive Programs by Partial Evaluation"
  author:
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1781/17810264.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1781/17810264.htm"
  tags:
  - "compiler"
  - "partial evaluation"
  researchr: "https://researchr.org/publication/Thiemann00"
  cites: 0
  citedby: 0
  pages: "264-278"
  booktitle: "cc"
  kind: "inproceedings"
  key: "Thiemann00"
- title: "Cogen in Six Lines"
  author:
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  year: "1996"
  abstract: "We have designed and implemented a program-generator generator (PGG) for an untyped higher-order functional programming language. The program generators perform continuation-based multi-level offline specialization and thus combine the most powerful and general offline partial evaluation techniques. The correctness of the PGG is ensured by deriving it from a multi-level specialize. Our PGG is extremely simple to implement due to the use of multi-level techniques and higher-order abstract syntax."
  tags:
  - "programming languages"
  - "Futamura projection"
  - "rule-based"
  - "abstract syntax"
  - "functional programming"
  - "language design"
  - "partial evaluation"
  - "programming"
  - "Futamura"
  researchr: "https://researchr.org/publication/Thiemann96"
  cites: 0
  citedby: 0
  pages: "180-189"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "Thiemann96"
- title: "Preface"
  author:
  - name: "Gilles Barthe"
    link: "https://researchr.org/alias/gilles-barthe"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  year: "2002"
  doi: "http://www1.elsevier.com/gej-ng/31/29/23/132/23/show/Products/notes/index.htt#001"
  links:
    doi: "http://www1.elsevier.com/gej-ng/31/29/23/132/23/show/Products/notes/index.htt#001"
  researchr: "https://researchr.org/publication/BartheT02"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "75"
  pages: "114-115"
  kind: "article"
  key: "BartheT02"
- title: "Macros for context-free grammars"
  author:
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  - name: "Matthias Neubauer"
    link: "https://researchr.org/alias/matthias-neubauer"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1389449.1389465"
  links:
    doi: "http://doi.acm.org/10.1145/1389449.1389465"
  tags:
  - "macros"
  - "context-aware"
  - "grammar"
  researchr: "https://researchr.org/publication/ThiemannN08"
  cites: 0
  citedby: 0
  pages: "120-130"
  booktitle: "ppdp"
  kind: "inproceedings"
  key: "ThiemannN08"
- title: "Modeling HTML in Haskell"
  author:
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1753/17530263.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1753/17530263.htm"
  tags:
  - "meta-model"
  - "modeling"
  - "Haskell"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/Thiemann00%3A1"
  cites: 0
  citedby: 0
  pages: "263-277"
  booktitle: "PADL"
  kind: "inproceedings"
  key: "Thiemann00:1"
- title: "Unboxed Values and Polymorphic Typing Revisited"
  author:
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  year: "1995"
  researchr: "https://researchr.org/publication/Thiemann95"
  cites: 0
  citedby: 0
  pages: "24-35"
  booktitle: "fpca"
  kind: "inproceedings"
  key: "Thiemann95"
- title: "Formalizing Resourve Allocation in a Compiler"
  author:
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1473/14730178.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1473/14730178.htm"
  tags:
  - "compiler"
  researchr: "https://researchr.org/publication/Thiemann98%3A1"
  cites: 0
  citedby: 0
  pages: "178-193"
  booktitle: "tic"
  kind: "inproceedings"
  key: "Thiemann98:1"
- title: "Polyvariant Expansion and Compiler Generators"
  author:
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  - name: "Michael Sperber"
    link: "https://researchr.org/alias/michael-sperber"
  year: "1996"
  tags:
  - "compiler"
  researchr: "https://researchr.org/publication/ThiemannS96"
  cites: 0
  citedby: 0
  pages: "285-296"
  booktitle: "ershov"
  kind: "inproceedings"
  key: "ThiemannS96"
- 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: "Placement Inference for a Client-Server Calculus"
  author:
  - name: "Matthias Neubauer"
    link: "https://researchr.org/alias/matthias-neubauer"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-70583-3_7"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-70583-3_7"
  researchr: "https://researchr.org/publication/NeubauerT08"
  cites: 0
  citedby: 0
  pages: "75-86"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "NeubauerT08"
- title: "Optimizing Structural Recursion in Functional Programs"
  author:
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  year: "1993"
  tags:
  - "optimization"
  - "functional programming"
  - "program optimization"
  researchr: "https://researchr.org/publication/Thiemann93%3A2"
  cites: 0
  citedby: 0
  journal: "Comp. Lang., Syst. \\& Struct."
  volume: "19"
  number: "2"
  pages: "91-103"
  kind: "article"
  key: "Thiemann93:2"
- title: "Interface Types for Haskell"
  author:
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  - name: "Stefan Wehr"
    link: "https://researchr.org/alias/stefan-wehr"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-89330-1_19"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-89330-1_19"
  tags:
  - "Haskell"
  researchr: "https://researchr.org/publication/ThiemannW08"
  cites: 0
  citedby: 0
  pages: "256-272"
  booktitle: "aplas"
  kind: "inproceedings"
  key: "ThiemannW08"
- title: "An Algebraic Foundation for Adaptive Programming"
  author:
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1784/17840314.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1784/17840314.htm"
  tags:
  - " algebra"
  - "programming"
  researchr: "https://researchr.org/publication/Thiemann00%3A0"
  cites: 0
  citedby: 0
  pages: "314-328"
  booktitle: "fossacs"
  kind: "inproceedings"
  key: "Thiemann00:0"
- title: "A typed representation for HTML and XML documents in Haskell"
  author:
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  year: "2002"
  tags:
  - "XML"
  - "XML Schema"
  - "Haskell"
  researchr: "https://researchr.org/publication/Thiemann02%3A2"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "12"
  number: "4&5"
  pages: "435-468"
  kind: "article"
  key: "Thiemann02:2"
- title: "Towards a Type System for Analyzing JavaScript Programs"
  author:
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  year: "2005"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3444&spage=408"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3444&spage=408"
  tags:
  - "JavaScript"
  - "type system"
  researchr: "https://researchr.org/publication/Thiemann05%3A0"
  cites: 0
  citedby: 0
  pages: "408-422"
  booktitle: "ESOP"
  kind: "inproceedings"
  key: "Thiemann05:0"
- 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: "From sequential programs to multi-tier applications by program transformation"
  author:
  - name: "Matthias Neubauer"
    link: "https://researchr.org/alias/matthias-neubauer"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1040305.1040324"
  links:
    doi: "http://doi.acm.org/10.1145/1040305.1040324"
  tags:
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/NeubauerT05"
  cites: 0
  citedby: 0
  pages: "221-232"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "NeubauerT05"
- title: "A Unified Framework for Binding-Time Analysis"
  author:
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  year: "1997"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/Thiemann97"
  cites: 0
  citedby: 0
  pages: "742-756"
  booktitle: "tapsoft"
  kind: "inproceedings"
  key: "Thiemann97"
- title: "An embedded domain-specific language for type-safe server-side web scripting"
  author:
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1052934.1052935"
  links:
    doi: "http://doi.acm.org/10.1145/1052934.1052935"
  tags:
  - "domain-specific language"
  researchr: "https://researchr.org/publication/Thiemann05%3A2"
  cites: 0
  citedby: 0
  journal: "ACM Trans. Internet Techn."
  volume: "5"
  number: "1"
  pages: "1-46"
  kind: "article"
  key: "Thiemann05:2"
- title: "Avoiding Repeated Tests in Pattern Matching"
  author:
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  year: "1993"
  tags:
  - "testing"
  - "pattern matching"
  researchr: "https://researchr.org/publication/Thiemann93%3A1"
  cites: 0
  citedby: 0
  pages: "141-152"
  booktitle: "SAS"
  kind: "inproceedings"
  key: "Thiemann93:1"
- title: "Program Generation with Class"
  author:
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  - name: "Michael Sperber"
    link: "https://researchr.org/alias/michael-sperber"
  year: "1997"
  researchr: "https://researchr.org/publication/ThiemannS97"
  cites: 0
  citedby: 0
  pages: "582-591"
  booktitle: "gi"
  kind: "inproceedings"
  key: "ThiemannS97"
- title: "Single and Loving It: Must-Alias Analysis for Higher-Order Languages"
  author:
  - name: "Suresh Jagannathan"
    link: "https://researchr.org/alias/suresh-jagannathan"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  - name: "Stephen Weeks"
    link: "https://researchr.org/alias/stephen-weeks"
  - name: "Andrew K. Wright"
    link: "https://researchr.org/alias/andrew-k.-wright"
  year: "1998"
  doi: "http://doi.acm.org/10.1145/268946.268973"
  links:
    doi: "http://doi.acm.org/10.1145/268946.268973"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/JagannathanTWW98"
  cites: 0
  citedby: 0
  pages: "329-341"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "JagannathanTWW98"
- 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: "The marriage of effects and monads"
  author:
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/wadler/"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/601775.601776"
  links:
    doi: "http://doi.acm.org/10.1145/601775.601776"
  researchr: "https://researchr.org/publication/WadlerT03"
  cites: 0
  citedby: 0
  journal: "tocl"
  volume: "4"
  number: "1"
  pages: "1-32"
  kind: "article"
  key: "WadlerT03"
- title: "Correctness of a region-based binding-time analysis"
  author:
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  year: "1997"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/31/23/show/Products/notes/index.htt#025"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/31/23/show/Products/notes/index.htt#025"
  tags:
  - "rule-based"
  - "analysis"
  researchr: "https://researchr.org/publication/Thiemann97%3A0"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "6"
  pages: "365-390"
  kind: "article"
  key: "Thiemann97:0"
- title: "The Essence of LR Parsing"
  author:
  - name: "Michael Sperber"
    link: "https://researchr.org/alias/michael-sperber"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  year: "1995"
  tags:
  - "parsing"
  researchr: "https://researchr.org/publication/SperberT95"
  cites: 0
  citedby: 0
  pages: "146-155"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "SperberT95"
- title: "Protocol Specialization"
  author:
  - name: "Matthias Neubauer"
    link: "https://researchr.org/alias/matthias-neubauer"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3302&spage=246"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3302&spage=246"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/NeubauerT04%3A0"
  cites: 0
  citedby: 0
  pages: "246-261"
  booktitle: "aplas"
  kind: "inproceedings"
  key: "NeubauerT04:0"
- title: "Functional logic overloading"
  author:
  - name: "Matthias Neubauer"
    link: "https://researchr.org/alias/matthias-neubauer"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  - name: "Martin Gasbichler"
    link: "https://researchr.org/alias/martin-gasbichler"
  - name: "Michael Sperber"
    link: "https://researchr.org/alias/michael-sperber"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/503272.503294"
  links:
    doi: "http://doi.acm.org/10.1145/503272.503294"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/NeubauerTGS02"
  cites: 0
  citedby: 0
  pages: "233-244"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "NeubauerTGS02"
- title: "Program specialization for execution monitoring"
  author:
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796802004586"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796802004586"
  researchr: "https://researchr.org/publication/Thiemann03%3A0"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "13"
  number: "3"
  pages: "573-600"
  kind: "article"
  key: "Thiemann03:0"
- title: "Realistic Compilation by Partial Evaluation"
  author:
  - name: "Michael Sperber"
    link: "https://researchr.org/alias/michael-sperber"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  year: "1996"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/SperberT96"
  cites: 0
  citedby: 0
  pages: "206-214"
  booktitle: "PLDI"
  kind: "inproceedings"
  key: "SperberT96"
- title: "A Generic Framework for Specialization (Abridged Version)"
  author:
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1381/13810267.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1381/13810267.htm"
  researchr: "https://researchr.org/publication/Thiemann98"
  cites: 0
  citedby: 0
  pages: "267-281"
  booktitle: "ESOP"
  kind: "inproceedings"
  key: "Thiemann98"
- title: "Enforcing Safety Properties Using Type Specialization"
  author:
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2028/20280062.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2028/20280062.htm"
  researchr: "https://researchr.org/publication/Thiemann01"
  cites: 0
  citedby: 0
  pages: "62-76"
  booktitle: "ESOP"
  kind: "inproceedings"
  key: "Thiemann01"
- title: "Combinators for Program Generation"
  author:
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  year: "1999"
  researchr: "https://researchr.org/publication/Thiemann99"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "9"
  number: "5"
  pages: "483-525"
  kind: "article"
  key: "Thiemann99"
- title: "Generation of LR parsers by partial evaluation"
  author:
  - name: "Michael Sperber"
    link: "https://researchr.org/alias/michael-sperber"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  year: "2000"
  doi: "http://doi.acm.org/10.1145/349214.349219"
  links:
    doi: "http://doi.acm.org/10.1145/349214.349219"
  tags:
  - "partial evaluation"
  - "parsing"
  researchr: "https://researchr.org/publication/SperberT00"
  cites: 0
  citedby: 0
  journal: "TOPLAS"
  volume: "22"
  number: "2"
  pages: "224-264"
  kind: "article"
  key: "SperberT00"
- title: "Parameterized LR Parsing"
  author:
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  - name: "Matthias Neubauer"
    link: "https://researchr.org/alias/matthias-neubauer"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.entcs.2004.06.007"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2004.06.007"
  tags:
  - "parsing"
  researchr: "https://researchr.org/publication/ThiemannN04"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "110"
  pages: "115-132"
  kind: "article"
  key: "ThiemannN04"
- title: "Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008"
  year: "2008"
  tags:
  - "functional programming"
  - "programming"
  researchr: "https://researchr.org/publication/icfp%3A2008"
  cites: 0
  citedby: 0
  booktitle: "Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008"
  conference: "ICFP"
  editor:
  - name: "James Hook"
    link: "https://researchr.org/alias/james-hook"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  publisher: "ACM"
  isbn: "978-1-59593-919-7"
  kind: "proceedings"
  key: "icfp:2008"
- title: "Programming Paradigms for the Web: Web Programming and Web Services, 28.01. - 02.02.2007"
  year: "2007"
  tags:
  - "web service"
  - "programming paradigms"
  - "web services"
  - "programming"
  researchr: "https://researchr.org/publication/dagstuhl%3A2007P7051"
  cites: 0
  citedby: 0
  booktitle: "Programming Paradigms for the Web: Web Programming and Web Services, 28.01. - 02.02.2007"
  conference: "Dagstuhl"
  editor:
  - name: "Richard Hull"
    link: "https://researchr.org/alias/richard-hull"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/wadler/"
  volume: "07051"
  series: "Dagstuhl Seminar Proceedings"
  publisher: "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany"
  kind: "proceedings"
  key: "dagstuhl:2007P7051"
- title: "Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998"
  year: "1999"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/pepm%3A1998"
  cites: 0
  citedby: 0
  booktitle: "Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998"
  conference: "PEPM"
  editor:
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Torben Æ. Mogensen"
    link: "https://researchr.org/alias/torben-%C3%A6.-mogensen"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  volume: "1706"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66710-5"
  kind: "proceedings"
  key: "pepm:1998"