Selected Publications

  1. 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
  2. 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
  3. 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
  4. 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.
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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.
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. Thiemann, Peter and Michael Sperber: Program Generation With Class. In GI-Arbeitstagung Programmiersprachen, Aachen, Germany, September 1997. © Springer-Verlag. .ps.gz
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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)
  36. 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)
  37. 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)
  38. 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

  1. Peter Thiemann and Dirk Dussart: Imperative Functional Specialization. Technical Report University Tubingen, WSI-96-28. IFS.pdf July 1996
  2. Peter Thiemann and Dirk Dussart: Partial Evaluation for Higher-Order Languages with State .ps.gz July 1999
  3. Simon Helsen and Peter Thiemann: Polymorphic Specialization for Polymorphic Programming Languages .ps.gz May 2000
  4. Peter Thiemann: First-Class Polyvariant Functions and Co-Arity Raising .ps.gz November 2000
  5. 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
  6. Peter Thiemann: Program Specialization for Efficient Monitored Execution .ps.gz February 2001, a revised version is appearing in Journal of Functional Programming
  7. Peter Thiemann: WASH/CGI: Server-side Web Scripting with Sessions, Compositional Forms, and Graphics .ps.gz March 2001
  8. Peter Thiemann: RMS: A Robust Mail Store and Retrieval System .pdf November 2002
  9. Peter Thiemann: Continuation-Based Partial Evaluation Without Continuations .ps.gz February 2003, a revised version appears in Static Analysis Symposium 2003.
  10. 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
  11. Peter Thiemann: Caching for XML Generators: An Application of Two-Level Techniques .ps.gz May 2003, a revised version appears in Haskell Workshop 2003
  12. 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