Peter Thiemann Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohannes Rudolph, Peter Thiemann: Mnemonics: type-safe bytecode generation at run time. PEPM 2010: 15-24
2009
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Wehr, Peter Thiemann: On the Decidability of Subtyping with Bounded Existential Types. APLAS 2009: 111-127
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnette Bieniusa, Peter Thiemann: How to CPS Transform a Monad. CC 2009: 266-280
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Wehr, Peter Thiemann: JavaGI in the battlefield: practical experience with generalized interfaces. GPCE 2009: 65-74
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon Holm Jensen, Anders Møller, Peter Thiemann: Type Analysis for JavaScript. SAS 2009: 238-255
2008
86no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Hook, Peter Thiemann: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008 ACM 2008
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann, Stefan Wehr: Interface Types for Haskell. APLAS 2008: 256-272
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnette Bieniusa, Peter Thiemann, Stefan Wehr: The Relation of Version Control to Concurrent Programming. CSSE (3) 2008: 461-464
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Neubauer, Peter Thiemann: Placement Inference for a Client-Server Calculus. ICALP (2) 2008: 75-86
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann, Matthias Neubauer: Macros for context-free grammars. PPDP 2008: 120-130
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Danvy, R. Kent Dybvig, Julia L. Lawall, Peter Thiemann: Editorial. Higher-Order and Symbolic Computation 21(3): 237-238 (2008)
2007
80no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Hull, Peter Thiemann, Philip Wadler: Programming Paradigms for the Web: Web Programming and Web Services, 28.01. - 02.02.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Wehr, Ralf Lämmel, Peter Thiemann: JavaGI : Generalized Interfaces for Java. ECOOP 2007: 347-372
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Degen, Peter Thiemann, Stefan Wehr: Tracking Linear and Affine Resources with Java(X). ECOOP 2007: 550-574
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Hull, Peter Thiemann, Philip Wadler: 07051 Abstracts Collection -- Programming Paradigms for the Web: Web Programming and Web Services. Programming Paradigms for the Web: Web Programming and Web Services 2007
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Hull, Peter Thiemann, Philip Wadler: 07051 Executive Summary -- Programming Paradigms for the Web: Web Programming and Web Services. Programming Paradigms for the Web: Web Programming and Web Services 2007
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Hull, Peter Thiemann, Philip Wadler: 07051 Working Group Outcomes -- Programming Paradigms for the Web: Web Programming and Web Services. Programming Paradigms for the Web: Web Programming and Web Services 2007
2006
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKathrin Lehmann, Peter Thiemann: Field Access Analysis for Enforcing Access Control Policies. ETRICS 2006: 337-351
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: WASH Server Pages. FLOPS 2006: 277-293
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: User-level transactional programming in Haskell. Haskell 2006: 84-95
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Draheim, Peter Thiemann, Gerald Weber: A Spreadsheet Client for Web Applications. NGITS 2006: 274-286
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudius Heitz, Peter Thiemann, Thomas Wölfle: Integration of an Action Language Via UML Action Semantics. TEAA 2006: 172-186
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Danvy, Oege de Moor, Julian A. Padget, Peter Thiemann: Editorial. Higher-Order and Symbolic Computation 19(1): 5 (2006)
2005
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: A Type Safe DOM API. DBPL 2005: 169-183
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: Towards a Type System for Analyzing JavaScript Programs. ESOP 2005: 408-422
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Neubauer, Peter Thiemann: From sequential programs to multi-tier applications by program transformation. POPL 2005: 221-232
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: Grammar-based analysis of string expressions. TLDI 2005: 59-70
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: An embedded domain-specific language for type-safe server-side web scripting. ACM Trans. Internet Techn. 5(1): 1-46 (2005)
2004
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Neubauer, Peter Thiemann: Protocol Specialization. APLAS 2004: 246-261
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: Server-Side Web Programming in WASH. Advanced Functional Programming 2004: 309-330
61no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: Static Analysis of the Frequency of Change. GI Jahrestagung (2) 2004: 428-437
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Neubauer, Peter Thiemann: An Implementation of Session Types. PADL 2004: 56-70
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon Helsen, Peter Thiemann: Polymorphic specialization for ML. ACM Trans. Program. Lang. Syst. 26(4): 652-701 (2004)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann, Matthias Neubauer: Parameterized LR Parsing. Electr. Notes Theor. Comput. Sci. 110: 115-132 (2004)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei-Ngan Chin, Olivier Danvy, Peter Thiemann: Editorial: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation. Higher-Order and Symbolic Computation 17(1-2): 5-6 (2004)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Barthe, Peter Dybjer, Peter Thiemann: Introduction to the Special Issue on Dependent Type Theory Meets Practical Programming. J. Funct. Program. 14(1): 1-2 (2004)
2003
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Neubauer, Peter Thiemann: Discriminative sum types locate the source of type errors. ICFP 2003: 15-26
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: Continuation-Based Partial Evaluation without Continuations. SAS 2003: 366-382
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilip Wadler, Peter Thiemann: The marriage of effects and monads. ACM Trans. Comput. Log. 4(1): 1-32 (2003)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: Program specialization for execution monitoring. J. Funct. Program. 13(3): 573-600 (2003)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Neubauer, Peter Thiemann: Discriminative sum types locate the source of type errors. SIGPLAN Notices 38(9): 15-26 (2003)
2002
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: A Prototype Dependency Calculus. ESOP 2002: 228-242
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Neubauer, Peter Thiemann: Type classes with more higher-order polymorphism. ICFP 2002: 179-190
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms. PADL 2002: 192-208
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber: Functional logic overloading. POPL 2002: 233-244
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Barthe, Peter Thiemann: Preface. Electr. Notes Theor. Comput. Sci. 75: (2002)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: Programmable Type Systems for Domain Specific Languages. Electr. Notes Theor. Comput. Sci. 76: (2002)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristiano Calcagno, Simon Helsen, Peter Thiemann: Syntactic Type Soundness Results for the Region Calculus. Inf. Comput. 173(2): 199-221 (2002)
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: A typed representation for HTML and XML documents in Haskell. J. Funct. Program. 12(4&5): 435-468 (2002)
2001
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: Enforcing Safety Properties Using Type Specialization. ESOP 2001: 62-76
2000
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: Compiling Adaptive Programs by Partial Evaluation. CC 2000: 264-278
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: An Algebraic Foundation for Adaptive Programming. FoSSaCS 2000: 314-328
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: Modeling HTML in Haskell. PADL 2000: 263-277
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon Helsen, Peter Thiemann: Fragmental Specialization. SAIG 2000: 51-71
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Sperber, Peter Thiemann: Generation of LR parsers by partial evaluation. ACM Trans. Program. Lang. Syst. 22(2): 224-264 (2000)
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon Helsen, Peter Thiemann: Syntactic Type Soundness for the Region Calculus. Electr. Notes Theor. Comput. Sci. 41(3): (2000)
1999
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hatcliff, Torben Æ. Mogensen, Peter Thiemann: Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998 Springer 1999
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: Higher-Order Code Splicing. ESOP 1999: 243-257
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: Interpreting Specialization in Type Theory. PEPM 1999: 30-43
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: Combinators for Program Generation. J. Funct. Program. 9(5): 483-525 (1999)
1998
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon Helsen, Peter Thiemann: Two Flavors of Offline Partial Evaluation. ASIAN 1998: 188-205
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: A Generic Framework for Specialization (Abridged Version). ESOP 1998: 267-281
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew K. Wright: Single and Loving It: Must-Alias Analysis for Higher-Order Languages. POPL 1998: 329-341
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: Aspects of the PGG System: Specialization for Standard Scheme. Partial Evaluation 1998: 412-432
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: Formalizing Resourve Allocation in a Compiler. Types in Compilation 1998: 178-193
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Danvy, Robert Glück, Peter Thiemann: 1998 Symposium on Partial Evaluation. ACM Comput. Surv. 30(3): 285-290 (1998)
1997
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann, Michael Sperber: Program Generation with Class. GI Jahrestagung 1997: 582-591
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Dussart, John Hughes, Peter Thiemann: Type Specialization for Imperative Languages. ICFP 1997: 204-216
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Sperber, Peter Thiemann: Two for the Price of One: Composing Partial Evaluation and Compilation. PLDI 1997: 215-225
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulia L. Lawall, Peter Thiemann: Sound Specialization in the Presence of Computational Effects. TACS 1997: 165-190
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: A Unified Framework for Binding-Time Analysis. TAPSOFT 1997: 742-756
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Barthe, John Hatcliff, Peter Thiemann: Monadic Type Systems: Pure Type Systems for Impure Settings. Electr. Notes Theor. Comput. Sci. 10: (1997)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: Correctness of a region-based binding-time analysis. Electr. Notes Theor. Comput. Sci. 6: (1997)
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: Drawing Syntax Diagrams in Haskell. Softw., Pract. Exper. 27(8): 967-982 (1997)
1996
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Danvy, Robert Glück, Peter Thiemann: Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers Springer 1996
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei-Ngan Chin, Siau-Cheng Khoo, Peter Thiemann: Synchronization Analyses for Multiple Recursion Parameters (Extended Abstract). Dagstuhl Seminar on Partial Evaluation 1996: 33-53
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann, Michael Sperber: Polyvariant Expansion and Compiler Generators. Ershov Memorial Conference 1996: 285-296
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: Cogen in Six Lines. ICFP 1996: 180-189
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Sperber, Peter Thiemann: Realistic Compilation by Partial Evaluation. PLDI 1996: 206-214
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: Implementing Memoization for Partial Evaluation. PLILP 1996: 198-212
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Sperber, Robert Glück, Peter Thiemann: Bootstrapping higher-order program transformers from interpreters. SAC 1996: 408-413
1995
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: Unboxed Values and Polymorphic Typing Revisited. FPCA 1995: 24-35
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Sperber, Peter Thiemann: The Essence of LR Parsing. PEPM 1995: 146-155
1994
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: Higher-Order Redundancy Elimination. PEPM 1994: 73-83
1993
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: An Overview of the SODA System. AMAST 1993: 185-192
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: A Safety Analysis for Functional Programs. PEPM 1993: 133-144
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: Avoiding Repeated Tests in Pattern Matching. WSA 1993: 141-152
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: Optimizing Structural Recursion in Functional Programs. Comput. Lang. 19(2): 91-103 (1993)
1992
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: Optimizing structural recursion in functional programs. ICCL 1992: 76-85
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Thiemann: LaToKi: A Language Toolkit for Bottom-Up Evaluation of Functional Programs. PLILP 1992: 481-482
1990
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHerbert Klaeren, Peter Thiemann: A Clean Modula-2 Interface to Abstract Data Types. Structured Programming 11(2): 69-78 (1990)

Coauthor Index

1Gilles Barthe [20] [46] [56]
2Annette Bieniusa [84] [89]
3Cristiano Calcagno [44]
4Wei-Ngan Chin [16] [57]
5Olivier Danvy [17] [26] [57] [69] [81]
6Markus Degen [78]
7Dirk Draheim [71]
8Dirk Dussart [24]
9Peter Dybjer [56]
10R. Kent Dybvig [81]
11Martin Gasbichler [47]
12Robert Glück [11] [17] [26]
13John Hatcliff [20] [35]
14Claudius Heitz [70]
15Simon Helsen [31] [36] [38] [44] [59]
16James Hook [86]
17John Hughes [24]
18Richard Hull [75] [76] [77] [80]
19Suresh Jagannathan [29]
20Simon Holm Jensen [87]
21Siau-Cheng Khoo [16]
22Herbert Klaeren [1]
23Ralf Lämmel (Ralf Laemmel, Ralf Lammel) [79]
24Julia L. Lawall [22] [81]
25Kathrin Lehmann [74]
26Torben Æ. Mogensen [35]
27Anders Møller [87]
28Oege de Moor [69]
29Matthias Neubauer [47] [49] [51] [55] [58] [60] [63] [66] [82] [83]
30Julian A. Padget [69]
31Johannes Rudolph [91]
32Michael Sperber [9] [11] [13] [15] [23] [25] [37] [47]
33Philip Wadler [53] [75] [76] [77] [80]
34Gerald Weber [71]
35Stephen Weeks [29]
36Stefan Wehr [78] [79] [84] [85] [88] [90]
37Thomas Wölfle [70]
38Andrew K. Wright [29]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)