2009 |
85 | EE | Annette Bieniusa,
Peter Thiemann:
How to CPS Transform a Monad.
CC 2009: 266-280 |
2008 |
84 | | 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 |
83 | EE | Peter Thiemann,
Stefan Wehr:
Interface Types for Haskell.
APLAS 2008: 256-272 |
82 | EE | Annette Bieniusa,
Peter Thiemann,
Stefan Wehr:
The Relation of Version Control to Concurrent Programming.
CSSE (3) 2008: 461-464 |
81 | EE | Matthias Neubauer,
Peter Thiemann:
Placement Inference for a Client-Server Calculus.
ICALP (2) 2008: 75-86 |
80 | EE | Peter Thiemann,
Matthias Neubauer:
Macros for context-free grammars.
PPDP 2008: 120-130 |
2007 |
79 | | 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 |
78 | EE | Stefan Wehr,
Ralf Lämmel,
Peter Thiemann:
JavaGI : Generalized Interfaces for Java.
ECOOP 2007: 347-372 |
77 | EE | Markus Degen,
Peter Thiemann,
Stefan Wehr:
Tracking Linear and Affine Resources with Java(X).
ECOOP 2007: 550-574 |
76 | EE | 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 |
75 | EE | 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 |
74 | EE | 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 |
73 | EE | Kathrin Lehmann,
Peter Thiemann:
Field Access Analysis for Enforcing Access Control Policies.
ETRICS 2006: 337-351 |
72 | EE | Peter Thiemann:
WASH Server Pages.
FLOPS 2006: 277-293 |
71 | EE | Peter Thiemann:
User-level transactional programming in Haskell.
Haskell 2006: 84-95 |
70 | EE | Dirk Draheim,
Peter Thiemann,
Gerald Weber:
A Spreadsheet Client for Web Applications.
NGITS 2006: 274-286 |
69 | EE | Claudius Heitz,
Peter Thiemann,
Thomas Wölfle:
Integration of an Action Language Via UML Action Semantics.
TEAA 2006: 172-186 |
68 | EE | Olivier Danvy,
Oege de Moor,
Julian A. Padget,
Peter Thiemann:
Editorial.
Higher-Order and Symbolic Computation 19(1): 5 (2006) |
2005 |
67 | EE | Peter Thiemann:
A Type Safe DOM API.
DBPL 2005: 169-183 |
66 | EE | Peter Thiemann:
Towards a Type System for Analyzing JavaScript Programs.
ESOP 2005: 408-422 |
65 | EE | Matthias Neubauer,
Peter Thiemann:
From sequential programs to multi-tier applications by program transformation.
POPL 2005: 221-232 |
64 | EE | Peter Thiemann:
Grammar-based analysis of string expressions.
TLDI 2005: 59-70 |
63 | EE | Peter Thiemann:
An embedded domain-specific language for type-safe server-side web scripting.
ACM Trans. Internet Techn. 5(1): 1-46 (2005) |
2004 |
62 | EE | Matthias Neubauer,
Peter Thiemann:
Protocol Specialization.
APLAS 2004: 246-261 |
61 | EE | Peter Thiemann:
Server-Side Web Programming in WASH.
Advanced Functional Programming 2004: 309-330 |
60 | | Peter Thiemann:
Static Analysis of the Frequency of Change.
GI Jahrestagung (2) 2004: 428-437 |
59 | EE | Matthias Neubauer,
Peter Thiemann:
An Implementation of Session Types.
PADL 2004: 56-70 |
58 | EE | Simon Helsen,
Peter Thiemann:
Polymorphic specialization for ML.
ACM Trans. Program. Lang. Syst. 26(4): 652-701 (2004) |
57 | EE | Peter Thiemann,
Matthias Neubauer:
Parameterized LR Parsing.
Electr. Notes Theor. Comput. Sci. 110: 115-132 (2004) |
56 | EE | 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) |
55 | EE | 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 |
54 | EE | Matthias Neubauer,
Peter Thiemann:
Discriminative sum types locate the source of type errors.
ICFP 2003: 15-26 |
53 | EE | Peter Thiemann:
Continuation-Based Partial Evaluation without Continuations.
SAS 2003: 366-382 |
52 | EE | Philip Wadler,
Peter Thiemann:
The marriage of effects and monads.
ACM Trans. Comput. Log. 4(1): 1-32 (2003) |
51 | EE | Peter Thiemann:
Program specialization for execution monitoring.
J. Funct. Program. 13(3): 573-600 (2003) |
2002 |
50 | EE | Peter Thiemann:
A Prototype Dependency Calculus.
ESOP 2002: 228-242 |
49 | EE | Matthias Neubauer,
Peter Thiemann:
Type classes with more higher-order polymorphism.
ICFP 2002: 179-190 |
48 | EE | Peter Thiemann:
WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms.
PADL 2002: 192-208 |
47 | EE | Matthias Neubauer,
Peter Thiemann,
Martin Gasbichler,
Michael Sperber:
Functional logic overloading.
POPL 2002: 233-244 |
46 | EE | Gilles Barthe,
Peter Thiemann:
Preface.
Electr. Notes Theor. Comput. Sci. 75: (2002) |
45 | EE | Peter Thiemann:
Programmable Type Systems for Domain Specific Languages.
Electr. Notes Theor. Comput. Sci. 76: (2002) |
44 | EE | 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 | EE | Peter Thiemann:
Enforcing Safety Properties Using Type Specialization.
ESOP 2001: 62-76 |
2000 |
41 | EE | Peter Thiemann:
Compiling Adaptive Programs by Partial Evaluation.
CC 2000: 264-278 |
40 | EE | Peter Thiemann:
An Algebraic Foundation for Adaptive Programming.
FoSSaCS 2000: 314-328 |
39 | EE | Peter Thiemann:
Modeling HTML in Haskell.
PADL 2000: 263-277 |
38 | EE | Simon Helsen,
Peter Thiemann:
Fragmental Specialization.
SAIG 2000: 51-71 |
37 | EE | Michael Sperber,
Peter Thiemann:
Generation of LR parsers by partial evaluation.
ACM Trans. Program. Lang. Syst. 22(2): 224-264 (2000) |
36 | EE | 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 | EE | 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 | EE | Simon Helsen,
Peter Thiemann:
Two Flavors of Offline Partial Evaluation.
ASIAN 1998: 188-205 |
30 | EE | Peter Thiemann:
A Generic Framework for Specialization (Abridged Version).
ESOP 1998: 267-281 |
29 | EE | 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 | EE | Peter Thiemann:
Formalizing Resourve Allocation in a Compiler.
Types in Compilation 1998: 178-193 |
26 | EE | 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 | EE | Gilles Barthe,
John Hatcliff,
Peter Thiemann:
Monadic Type Systems: Pure Type Systems for Impure Settings.
Electr. Notes Theor. Comput. Sci. 10: (1997) |
19 | EE | 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 | EE | 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 | EE | 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) |