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