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: "Next Generation Information Technologies and Systems, 6th International Workshop, NGITS 2006, Kibbutz Shefayim, Israel, July 4-6, 2006, Proceedings"
  editor:
  - name: "Opher Etzion"
    link: "https://researchr.org/alias/opher-etzion"
  - name: "Tsvi Kuflik"
    link: "https://researchr.org/alias/tsvi-kuflik"
  - name: "Amihai Motro"
    link: "https://researchr.org/alias/amihai-motro"
  volume: "4032"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-35472-7"
  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: "Trends in Enterprise Application Architecture, 2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - December 1, 2006, Revised Selected Papers"
  editor:
  - name: "Dirk Draheim"
    link: "https://researchr.org/alias/dirk-draheim"
  - name: "Gerald Weber"
    link: "https://researchr.org/alias/gerald-weber"
  volume: "4473"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-75911-9"
  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: "Programming Paradigms for the Web: Web Programming and Web Services, 28.01. - 02.02.2007"
  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: "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: "Software: Practice and Experience"
  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: "Proceedings of the 1996 ACM Symposium on Applied Computing (SAC), February 17-19, 1996, Philadelphia, PA, USA"
  publisher: "ACM"
  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: "Programming Paradigms for the Web: Web Programming and Web Services, 28.01. - 02.02.2007"
  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: "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: "Practical Aspects of Declarative Languages, 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings"
  editor:
  - name: "Bharat Jayaraman"
    link: "https://researchr.org/alias/bharat-jayaraman"
  volume: "3057"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22253-7"
  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: "Compiler Construction, 9th International Conference, CC 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, Arch 25 - April 2, 2000, Proceedings"
  editor:
  - name: "David A. Watt"
    link: "https://researchr.org/alias/david-a.-watt"
  volume: "1781"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67263-X"
  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: "Electronic Notes in Theoretical Computer Science"
  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: "Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain"
  editor:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  publisher: "ACM"
  isbn: "978-1-60558-117-0"
  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: "Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings"
  editor:
  - name: "Enrico Pontelli"
    link: "https://researchr.org/alias/enrico-pontelli"
  - name: "Vítor Santos Costa"
    link: "https://researchr.org/alias/v%C3%ADtor-santos-costa"
  volume: "1753"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66992-2"
  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: "Types in Compilation, Second International Workshop, TIC  98, Kyoto, Japan, March 25-27, 1998, Proceedings"
  editor:
  - name: "Xavier Leroy"
    link: "http://pauillac.inria.fr/~xleroy/"
  - name: "Atsushi Ohori"
    link: "https://researchr.org/alias/atsushi-ohori"
  volume: "1473"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64925-5"
  kind: "inproceedings"
  key: "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: "Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings"
  editor:
  - name: "Dines Bjørner"
    link: "https://researchr.org/alias/dines-bj%C3%B8rner"
  - name: "Manfred Broy"
    link: "https://researchr.org/alias/manfred-broy"
  - name: "Igor V. Pottosin"
    link: "https://researchr.org/alias/igor-v.-pottosin"
  volume: "1181"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-62064-8"
  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: "Higher-Order and Symbolic Computation"
  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: "Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations"
  editor:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Ivan Damgård"
    link: "https://researchr.org/alias/ivan-damg%C3%A5rd"
  - name: "Leslie Ann Goldberg"
    link: "https://researchr.org/alias/leslie-ann-goldberg"
  - name: "Magnús M. Halldórsson"
    link: "https://researchr.org/alias/magn%C3%BAs-m.-halld%C3%B3rsson"
  - name: "Anna Ingólfsdóttir"
    link: "https://researchr.org/alias/anna-ing%C3%B3lfsd%C3%B3ttir"
  - name: "Igor Walukiewicz"
    link: "https://researchr.org/alias/igor-walukiewicz"
  volume: "5126"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-70582-6"
  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: "Computer Languages, Systems \\& Structures"
  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: "Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings"
  editor:
  - name: "Ganesan Ramalingam"
    link: "http://research.microsoft.com/en-us/um/people/grama/"
  volume: "5356"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-89329-5"
  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: "Foundations of Software Science and Computation Structures, Third International Conference, FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings"
  editor:
  - name: "Jerzy Tiuryn"
    link: "https://researchr.org/alias/jerzy-tiuryn"
  volume: "1784"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67257-5"
  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: "Journal of Functional Programming"
  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: "Programming Languages and Systems, 14th European Symposium on Programming,ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings"
  editor:
  - name: "Shmuel Sagiv"
    link: "https://researchr.org/alias/shmuel-sagiv"
  volume: "3444"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-25435-8"
  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 Computing Surveys"
  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: "Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005"
  editor:
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  - name: "Martín Abadi"
    link: "https://researchr.org/alias/mart%C3%ADn-abadi"
  publisher: "ACM"
  isbn: "1-58113-830-X"
  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 97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings"
  editor:
  - name: "Michel Bidoit"
    link: "https://researchr.org/alias/michel-bidoit"
  - name: "Max Dauchet"
    link: "https://researchr.org/alias/max-dauchet"
  volume: "1214"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-62781-2"
  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: "Static Analysis, Third International Workshop, WSA 93, Padova, Italy, September 22-24, 1993, Proceedings"
  editor:
  - name: "Patrick Cousot"
    link: "https://researchr.org/alias/patrick-cousot"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Gilberto Filé"
    link: "https://researchr.org/alias/gilberto-fil%C3%A9"
  - name: "Antoine Rauzy"
    link: "https://researchr.org/alias/antoine-rauzy"
  volume: "724"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-57264-3"
  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 Jahrestagung"
  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: "Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages"
  address: "New York, NY, USA"
  publisher: "ACM"
  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: "Higher-Order and Symbolic Computation"
  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: "ACM Trans. Comput. Log."
  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: "Electronic Notes in Theoretical Computer Science"
  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: "Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings"
  editor:
  - name: "Wei-Ngan Chin"
    link: "https://researchr.org/alias/wei-ngan-chin"
  volume: "3302"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-23724-0"
  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: "Journal of Functional Programming"
  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: "Programming Languages and Systems - ESOP 98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings"
  editor:
  - name: "Chris Hankin"
    link: "https://researchr.org/alias/chris-hankin"
  volume: "1381"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64302-8"
  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: "Programming Languages and Systems, 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings"
  editor:
  - name: "David Sands"
    link: "https://researchr.org/alias/david-sands"
  volume: "2028"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41862-8"
  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: "Journal of Functional Programming"
  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: "ACM Transactions on Programming Languages and Systems"
  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: "Electronic Notes in Theoretical Computer Science"
  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"