Selected Publications
- Peter Thiemann: Higher-Order Redundancy Elimination
In Sestoft, Peter and Søndergaard, Harald (Editors):
Proceedings of the ACM SIGPLAN Workshop on Partial
Evaluation and Semantics-Based Program Manipulation PEPM
'94, pages 73-84, Orlando, Florida, June 1994.
.ps.gz
-
Sperber, Michael and Peter Thiemann: The Essence of LR
Parsing.
In Scherlis, William (Editor):
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and
Semantics-Based Program Manipulation PEPM '95, pages 146-155, La
Jolla, CA, June 1995. ACM Press.
.ps.gz
-
Thiemann, Peter: Polymorphic Typing and Unboxed Values Revisited.
In Peyton Jones, Simon (Editor):
Proc. Functional Programming Languages and Computer Architecture 1995,
pages 24-35, La Jolla, CA, June 1995. ACM Press, New
York.
.ps.gz
-
Thiemann, Peter: Data Compression in Haskell with Imperative
Extensions-A Case Study.
In Hudak, Paul (Editor): Proc. of the
Haskell Workshop, pages 137-150, La Jolla, CA, June
1995.
Yale University Research Report YALEU/DCS/RR-1075.
-
Thiemann, Peter: Towards a Denotational Semantics for Concurrent State
Transformers.
In Takeichi, Masato (Editor): Fuji Workshop on Functional and
Logic Programming, Fuji Susono, Japan, July 1995. World
Scientific Press, Singapore, pages
19-33.
.ps.gz
-
Thiemann, Peter and Robert Glück: The Generation of a
Higher-Order Online Partial Evaluator.
In Takeichi, Masato (Editor): Fuji Workshop on Functional and
Logic Programming, Fuji Susono, Japan, July 1995. World
Scientific Press, Singapore, pages
239-253.
.ps.gz
-
Sperber, Michael, Robert Glück and Peter Thiemann:
Bootstrapping Higher-Order Program Transformers from Interpreters.
In Proc. 11th Annual ACM Symposium on Applied Computing,
SAC (SAC '96), pages 408-413, Philadelphia, PA, February
1996. ACM.
.ps.gz
-
Thiemann, Peter: Cogen in Six Lines.
In Dybvig, R. Kent (Editor):
Proc. ACM SIGPLAN International Conference on Functional Programming 1996,
pages 180-189, Philadelphia,
PA, May 1996. ACM Press, New York.
.ps.gz
-
Sperber, Michael and Peter Thiemann: Realistic Compilation
by Partial Evaluation.
In Proc. of the ACM SIGPLAN '96 Conference on
Programming Language Design and Implementation, pages 206-214,
Philadelphia, PA, USA,
May 1996. ACM Press.
.ps.gz
-
Thiemann, Peter: Towards Partial Evaluation of Full Scheme.
In Kiczales, Gregor (Editor):
Reflection'96, pages 95-106, San Francisco, CA, USA, April 1996.
.ps.gz
-
Thiemann, Peter and Michael Sperber: Polyvariant Expansion
and Compilergenerators.
In PSI-96: Andrei Ershov Second International
Memorial Conference, Perspectives of System Informatics, Novosibirsk,
Russia, June 1996.
.ps.gz
-
Chin, Wei-Ngan, Khoo Siau-Chen and Thiemann, Peter:
Synchronization Analyses for Multiple Recursion Parameters.
In Danvy, Olivier, Glück, Robert and
Thiemann, Peter (Editors):
Partial Evaluation, Proceedings of a Dagstuhl Seminar, pages
33-53, Lecture Notes in Computer Science, volume 1110, Schloß Dagstuhl,
Germany, February 1996. © Springer-Verlag.
-
Thiemann, Peter: Implementing Memoization for Partial Evaluation.
In Kuchen, Herbert and Doaitse Swierstra
(Editors): Programming Languages, Implementations, Logics, and
Programs (PLILP '96), pages 198-212, volume 1140 of Lecture
Notes in Computer Science, Aachen, Germany, September 1996.
© Springer-Verlag.
.ps.gz
-
Thiemann, Peter: A Unified Framework for Binding-Time Analysis.
In Bidoit, Michel
(Editor): Colloquium on Formal Approaches in Software
Engineering (FASE '97), pages 742-756, volume 1214 of Lecture
Notes in Computer Science, Lille, France, April 1997.
© Springer-Verlag.
.ps.gz
-
Sperber, Michael and Peter Thiemann: Two for the Price of
One: Composing Partial Evaluation and Compilation.
In Proc. of the ACM SIGPLAN '97 Conference on
Programming Language Design and Implementation, pages ??,
Las Vegas, NV, USA,
June 1997. ACM Press.
.ps.gz
-
Thiemann, Peter: Correctness of a Region-Based Binding-Time Analysis.
In Michael Mislove
(Editor): Mathematical Foundations of Programming Semantics
(MFPS XIII), volume 6 of Electronic
Notes in Theoretical Computer Science, Pittsburgh, PA, USA, March 1997.
Elsevier Science.
.ps.gz
-
Dussart, Dirk, John Hughes, and Peter Thiemann: Type
Specialisation for Imperative Languages.
In Proc. of the ACM SIGPLAN '97 International
Conference on Functional Programming, ICFP'97, pages ??,
Amsterdam, The Netherlands,
June 1997. ACM Press.
.ps.gz
-
Sperber, Michael, Peter Thiemann, and Herbert Klaeren: Distributed
Partial Evaluation.
In Proc. of the Second International
Symposium on Parallel Symbolic Computation, PASCO'97,
pages 80-87,
Maui, Hawaii,
July 1997.
.ps.gz
-
Lawall, Julia and Peter Thiemann: Sound Specialization in
the Presence of Computational Effects.
In Theoretical Aspects of Computer Software (TACS
'97), volume 1281 of Lecture
Notes in Computer Science, Sendai, Japan, September 1997.
© Springer-Verlag.
.ps.gz
-
Thiemann, Peter and Michael Sperber: Program Generation With Class.
In GI-Arbeitstagung Programmiersprachen, Aachen,
Germany, September 1997.
© Springer-Verlag.
.ps.gz
-
Barthe, Gilles and John Hatcliff and Peter Thiemann: Monadic
Type Systems: Pure Type Systems for Impure Settings (Preliminary
Report). In HOOTS'97, volume 10 of Electronic
Notes in Theoretical Computer Science. Elsevier Science.
.ps.gz
-
Jagannathan, Suresh and Peter Thiemann and
Stephen Weeks and Andrew Wright: Single and Loving it:
Must Alias-Analysis for Higher-Order Languages. In
Proceedings of the 25th Annual ACM Symposium on Principles of
Programming Languages, San Diego, CA, USA, January 1998. ACM
Press.
.ps.gz
-
Thiemann, Peter: A Generic Framework for Specialization.
In European Symposium on Programming, ESOP '98,
volume 1381 of Lecture
Notes in Computer Science, Lisbon, Portugal, April 1998.
© Springer-Verlag.
.ps.gz
-
Thiemann, Peter: Formalizing Resource Allocation.
In Types in Compilation, TIC '98,
volume ? of Lecture
Notes in Computer Science, Kyoto, Japan, March 1998.
© Springer-Verlag.
.ps.gz
-
Helsen, Simon and Peter Thiemann: Two Flavors of Offline Partial
Evaluation. In Asian Computing Science Conference,
ASIAN'98, volume ? of Lecture Notes
in Computer Science, Manila, The Philippines, December 1998.
.ps.gz
-
Sperber, Michael and Peter Thiemann: ML and the Address
Operator. In The 1998 ACM SIGPLAN Workshop on ML,
Baltimore, Maryland, USA, September 1998.
.ps.gz
-
Peter Thiemann: Interpreting Specialization in Type
Theory. In Proceedings of the ACM SIGPLAN Workshop on
Partial Evaluation and Semantics-Based Program Manipulation, PEPM
'99,
San Antonio, Texas, USA, January 1999.
.ps.gz
-
Peter Thiemann: ML-Style Typing, Lambda Lifting, and
Partial Evaluation. In Proceedings of the Latin
American Conference on Functional Programming, CLAPF '99,
Recife, Pernambuco, Brasil, March 1999.
.ps.gz
-
Peter Thiemann: Higher-Order Code Splicing.
In European Symposium on Programming, ESOP '99,
volume 1576 of Lecture
Notes in Computer Science, Amsterdam, The Netherlands, March 1999.
© Springer-Verlag.
.ps.gz
-
Peter Thiemann: Modeling HTML in Haskell.
In Practical Applications of Declarative Programming, PADL '00,
volume 1753 of Lecture Notes in Computer Science,
Boston, Massachusetts, USA, Jan 2000.
© Springer-Verlag.
.ps.gz
-
Peter Thiemann: An Algebraic Foundation for Adaptive Programming.
In Fossacs 2000,
volume ? of Lecture Notes in Computer Science,
Berlin, Germany, Mar 2000.
© Springer-Verlag.
Preprint: .ps.gz
-
Peter Thiemann:
Compiling Adaptive Programs by Partial Evaluation.
In CC 2000,
volume 1781 of Lecture Notes in Computer Science,
Berlin, Germany, Mar 2000.
© Springer-Verlag.
Preprint: .ps.gz
-
Helsen, Simon and Peter Thiemann:
Fragmental Specialization. In
Semantics, Applications and Implementation of Program
Generation (SAIG'00) , volume 1927 of Lecture Notes
in Computer Science, Montreal, Canada, September 2000.
© Springer-Verlag.
.ps.gz
-
Helsen, Simon and Peter Thiemann:
Syntactic Type Soundness for the Region Calculus. In
The Fourth International
Workshop on Higher Order Operational Techniques in Semantics,
HOOTS , volume 41 of Electronic Notes in Theoretical
Computer Science, Montreal, Canada, September 2000.
.ps.gz
-
Peter Thiemann:
Enforcing Security Properties by Type Specialization. In
European Symposium on Programming (ESOP'01) , volume ?
of Lecture Notes in Computer Science, Genova, Italy, April 2001.
© Springer-Verlag.
.ps.gz (preprint)
- Peter Thiemann:
Wash/CGI: Server-side Web Scripting with Sessions and
Typed, Compositional Forms. In
Practical Aspects of Declarative Languages (PADL'02)
, volume ?
of Lecture Notes in Computer Science, Portland,
Oregon, USA, January 2002.
© Springer-Verlag.
.ps.gz (preprint)
- Peter Thiemann:
Programmable Type Systems for Domain Specific Languages. In
Workshop on Functional and Logic Programming, WFLP 02
, volume ?
of Electronic Notes in Computer Science, Grado,
Italy, June 2002.
.ps.gz (preprint)
- Matthias Neubauer and Peter Thiemann:
An Implementation of Session Types. In Practical
Aspects of Declarative Languages (PADL'04) volume ? of
Lecture Notes in Computer Science, Dallas, Texas, USA, June 2004.
© Springer-Verlag.
.ps.gz (preprint)
Unpublished Manuscripts
- Peter Thiemann and Dirk Dussart:
Imperative Functional Specialization.
Technical Report University Tubingen, WSI-96-28.
IFS.pdf
July 1996
- Peter Thiemann and Dirk Dussart:
Partial Evaluation for Higher-Order Languages with State
.ps.gz
July 1999
- Simon Helsen and Peter Thiemann:
Polymorphic Specialization for Polymorphic Programming Languages
.ps.gz
May 2000
- Peter Thiemann:
First-Class Polyvariant Functions and Co-Arity Raising
.ps.gz
November 2000
- Peter Thiemann:
A typed representation for HTML and XML documents in Haskell
.ps.gz
February 2001, a revised version is appearing in Journal of
Functional Programming
- Peter Thiemann:
Program Specialization for Efficient Monitored Execution
.ps.gz
February 2001, a revised version is appearing in Journal of
Functional Programming
- Peter Thiemann:
WASH/CGI: Server-side Web Scripting with Sessions,
Compositional Forms, and Graphics
.ps.gz
March 2001
- Peter Thiemann:
RMS: A Robust Mail Store and Retrieval System
.pdf
November 2002
- Peter Thiemann:
Continuation-Based Partial Evaluation Without Continuations
.ps.gz
February 2003, a revised version appears in Static
Analysis Symposium 2003.
- Peter Thiemann:
An Embedded Domain-Specific Language for Type-Safe
Server-Side Web-Scripting
.ps.gz
February 2003, a revised version appears in ACM
Transactions on Internet Technology
- Peter Thiemann:
Caching for XML Generators: An Application of Two-Level Techniques
.ps.gz
May 2003, a revised version appears in Haskell Workshop 2003
- Matthias Neubauer and Peter Thiemann:
Session Types for Asynchronous Communication
.ps.gz
Feb 2004
Peter Thiemann
Last modified: Wed Jun 30 09:34:15 CEST 2004