@inproceedings{DraheimTW06,
  title = {A Spreadsheet Client for Web Applications},
  author = {Dirk Draheim and Peter Thiemann and Gerald Weber},
  year = {2006},
  doi = {10.1007/11780991_24},
  url = {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},
}

@inproceedings{HeitzTW06,
  title = {Integration of an Action Language Via UML Action Semantics},
  author = {Claudius Heitz and Peter Thiemann and Thomas Wölfle},
  year = {2006},
  doi = {10.1007/978-3-540-75912-6_13},
  url = {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},
}

@inproceedings{HullTW07,
  title = {07051 Executive Summary -- Programming Paradigms for the Web: Web Programming and Web Services},
  author = {Richard Hull and Peter Thiemann and Philip Wadler},
  year = {2007},
  url = {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},
}

@article{Thiemann97:1,
  title = {Drawing Syntax Diagrams in Haskell},
  author = {Peter 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},
}

@inproceedings{SperberGT96,
  title = {Bootstrapping higher-order program transformers from interpreters},
  author = {Michael Sperber and Robert Glück and Peter Thiemann},
  year = {1996},
  doi = {10.1145/331119.331417},
  url = {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},
}

@inproceedings{HullTW07a,
  title = {07051 Working Group Outcomes -- Programming Paradigms for the Web: Web Programming and Web Services},
  author = {Richard Hull and Peter Thiemann and Philip Wadler},
  year = {2007},
  url = {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},
}

@inproceedings{NeubauerT04,
  title = {An Implementation of Session Types},
  author = {Matthias Neubauer and Peter Thiemann},
  year = {2004},
  url = {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},
}

@inproceedings{Thiemann00,
  title = {Compiling Adaptive Programs by Partial Evaluation},
  author = {Peter Thiemann},
  year = {2000},
  url = {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},
}

@inproceedings{Thiemann96,
  title = {Cogen in Six Lines},
  author = {Peter Thiemann},
  year = {1996},
  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},
}

@article{BartheT02,
  title = {Preface},
  author = {Gilles Barthe and Peter Thiemann},
  year = {2002},
  url = {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},
}

@inproceedings{ThiemannN08,
  title = {Macros for context-free grammars},
  author = {Peter Thiemann and Matthias Neubauer},
  year = {2008},
  doi = {10.1145/1389449.1389465},
  url = {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},
}

@inproceedings{Thiemann00:1,
  title = {Modeling HTML in Haskell},
  author = {Peter Thiemann},
  year = {2000},
  url = {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},
}

@inproceedings{Thiemann95,
  title = {Unboxed Values and Polymorphic Typing Revisited},
  author = {Peter Thiemann},
  year = {1995},
  researchr = {https://researchr.org/publication/Thiemann95},
  cites = {0},
  citedby = {0},
  pages = {24-35},
  booktitle = {fpca},
}

@inproceedings{Thiemann98:1,
  title = {Formalizing Resourve Allocation in a Compiler},
  author = {Peter Thiemann},
  year = {1998},
  url = {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},
}

@inproceedings{ThiemannS96,
  title = {Polyvariant Expansion and Compiler Generators},
  author = {Peter Thiemann and Michael Sperber},
  year = {1996},
  tags = {compiler},
  researchr = {https://researchr.org/publication/ThiemannS96},
  cites = {0},
  citedby = {0},
  pages = {285-296},
  booktitle = {ershov},
}

@article{ChinDT04,
  title = {Editorial: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation},
  author = {Wei-Ngan Chin and Olivier Danvy and Peter Thiemann},
  year = {2004},
  doi = {10.1023/B:LISP.0000029481.73168.ef},
  url = {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},
}

@inproceedings{NeubauerT08,
  title = {Placement Inference for a Client-Server Calculus},
  author = {Matthias Neubauer and Peter Thiemann},
  year = {2008},
  doi = {10.1007/978-3-540-70583-3_7},
  url = {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},
}

@article{Thiemann93:2,
  title = {Optimizing Structural Recursion in Functional Programs},
  author = {Peter 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},
}

@inproceedings{ThiemannW08,
  title = {Interface Types for Haskell},
  author = {Peter Thiemann and Stefan Wehr},
  year = {2008},
  doi = {10.1007/978-3-540-89330-1_19},
  url = {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},
}

@inproceedings{Thiemann00:0,
  title = {An Algebraic Foundation for Adaptive Programming},
  author = {Peter Thiemann},
  year = {2000},
  url = {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},
}

@article{Thiemann02:2,
  title = {A typed representation for HTML and XML documents in Haskell},
  author = {Peter 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},
}

@inproceedings{Thiemann05:0,
  title = {Towards a Type System for Analyzing JavaScript Programs},
  author = {Peter Thiemann},
  year = {2005},
  url = {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},
}

@article{DanvyGT98,
  title = {1998 Symposium on Partial Evaluation},
  author = {Olivier Danvy and Robert Glück and Peter Thiemann},
  year = {1998},
  doi = {10.1145/292469.293684},
  url = {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},
}

@inproceedings{NeubauerT05,
  title = {From sequential programs to multi-tier applications by program transformation},
  author = {Matthias Neubauer and Peter Thiemann},
  year = {2005},
  doi = {10.1145/1040305.1040324},
  url = {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},
}

@inproceedings{Thiemann97,
  title = {A Unified Framework for Binding-Time Analysis},
  author = {Peter Thiemann},
  year = {1997},
  tags = {analysis},
  researchr = {https://researchr.org/publication/Thiemann97},
  cites = {0},
  citedby = {0},
  pages = {742-756},
  booktitle = {tapsoft},
}

@article{Thiemann05:2,
  title = {An embedded domain-specific language for type-safe server-side web scripting},
  author = {Peter Thiemann},
  year = {2005},
  doi = {10.1145/1052934.1052935},
  url = {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},
}

@inproceedings{Thiemann93:1,
  title = {Avoiding Repeated Tests in Pattern Matching},
  author = {Peter Thiemann},
  year = {1993},
  tags = {testing, pattern matching},
  researchr = {https://researchr.org/publication/Thiemann93%3A1},
  cites = {0},
  citedby = {0},
  pages = {141-152},
  booktitle = {SAS},
}

@inproceedings{ThiemannS97,
  title = {Program Generation with Class},
  author = {Peter Thiemann and Michael Sperber},
  year = {1997},
  researchr = {https://researchr.org/publication/ThiemannS97},
  cites = {0},
  citedby = {0},
  pages = {582-591},
  booktitle = {gi},
}

@inproceedings{JagannathanTWW98,
  title = {Single and Loving It: Must-Alias Analysis for Higher-Order Languages},
  author = {Suresh Jagannathan and Peter Thiemann and Stephen Weeks and Andrew K. Wright},
  year = {1998},
  doi = {10.1145/268946.268973},
  url = {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},
}

@article{DanvyMPT06,
  title = {Editorial},
  author = {Olivier Danvy and Oege de Moor and Julian A. Padget and Peter Thiemann},
  year = {2006},
  doi = {10.1007/s10990-006-8607-3},
  url = {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},
}

@article{WadlerT03,
  title = {The marriage of effects and monads},
  author = {Philip Wadler and Peter Thiemann},
  year = {2003},
  doi = {10.1145/601775.601776},
  url = {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},
}

@article{Thiemann97:0,
  title = {Correctness of a region-based binding-time analysis},
  author = {Peter Thiemann},
  year = {1997},
  url = {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},
}

@inproceedings{SperberT95,
  title = {The Essence of LR Parsing},
  author = {Michael Sperber and Peter Thiemann},
  year = {1995},
  tags = {parsing},
  researchr = {https://researchr.org/publication/SperberT95},
  cites = {0},
  citedby = {0},
  pages = {146-155},
  booktitle = {PEPM},
}

@inproceedings{NeubauerT04:0,
  title = {Protocol Specialization},
  author = {Matthias Neubauer and Peter Thiemann},
  year = {2004},
  url = {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},
}

@inproceedings{NeubauerTGS02,
  title = {Functional logic overloading},
  author = {Matthias Neubauer and Peter Thiemann and Martin Gasbichler and Michael Sperber},
  year = {2002},
  doi = {10.1145/503272.503294},
  url = {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},
}

@article{Thiemann03:0,
  title = {Program specialization for execution monitoring},
  author = {Peter Thiemann},
  year = {2003},
  doi = {10.1017/S0956796802004586},
  url = {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},
}

@inproceedings{SperberT96,
  title = {Realistic Compilation by Partial Evaluation},
  author = {Michael Sperber and Peter Thiemann},
  year = {1996},
  tags = {partial evaluation},
  researchr = {https://researchr.org/publication/SperberT96},
  cites = {0},
  citedby = {0},
  pages = {206-214},
  booktitle = {PLDI},
}

@inproceedings{Thiemann98,
  title = {A Generic Framework for Specialization (Abridged Version)},
  author = {Peter Thiemann},
  year = {1998},
  url = {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},
}

@inproceedings{Thiemann01,
  title = {Enforcing Safety Properties Using Type Specialization},
  author = {Peter Thiemann},
  year = {2001},
  url = {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},
}

@article{Thiemann99,
  title = {Combinators for Program Generation},
  author = {Peter Thiemann},
  year = {1999},
  researchr = {https://researchr.org/publication/Thiemann99},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {9},
  number = {5},
  pages = {483-525},
}

@article{SperberT00,
  title = {Generation of LR parsers by partial evaluation},
  author = {Michael Sperber and Peter Thiemann},
  year = {2000},
  doi = {10.1145/349214.349219},
  url = {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},
}

@article{ThiemannN04,
  title = {Parameterized LR Parsing},
  author = {Peter Thiemann and Matthias Neubauer},
  year = {2004},
  doi = {10.1016/j.entcs.2004.06.007},
  url = {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},
}
@proceedings{icfp:2008,
  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 = {James Hook and Peter Thiemann},
  publisher = {ACM},
  isbn = {978-1-59593-919-7},
}

@proceedings{dagstuhl:2007P7051,
  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 = {Richard Hull and Peter Thiemann and Philip Wadler},
  volume = {07051},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}

@proceedings{pepm:1998,
  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 = {John Hatcliff and Torben Æ. Mogensen and Peter Thiemann},
  volume = {1706},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66710-5},
}