dblp.uni-trier.dewww.uni-trier.de

Peter Thiemann Vis

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

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)