Thiemann, Peter - Institut für Informatik, Albert-Ludwigs-Universität Freiburg

• Towards a Denotational Semantics for Concurrent State Transformers Peter Thiemann
• An Implementation of Session Types Matthias Neubauer and Peter Thiemann #
• RMS: A Robust Mail Store and Retrieval System Peter Thiemann
• The Generation of a HigherOrder Online Partial Evaluator Peter Thiemann
• Electronic Notes in Theoretical Computer Science 76 (2002) URL: http://www.elsevier.nl/locate/entcs/volume76.html 19 pages
• Polymorphic Specialization for Polymorphic Programming Languages ?
• Type Specialisation for Imperative Languages Dirk Dussart \Lambda John Hughes y Peter Thiemann z
• Session Types for Asynchronous Communication Matthias Neubauer and Peter Thiemann
• Two for the Price of One: Composing Partial Evaluation and Compilation
• HigherOrder Code Splicing Peter Thiemann ?
• Cogen in Six Lines Peter J. Thiemann \Lambda
• Formalizing Resource Allocation in a Compiler Peter Thiemann
• Unboxed Values and Polymorphic Typing Revisited Peter J. Thiemann
• WASH/CGI: Server-side Web Scripting with Sessions and Typed, Compositional Forms
• The Essence of LR Parsing Michael Sperber Peter Thiemann
• Fragmental Specialization Simon Helsen and Peter Thiemann
• Bootstrapping HigherOrder Program Transformers from Interpreters Michael Sperber \Lambda
• Realistic Compilation By Partial Evaluation Michael Sperber Peter Thiemann
• MLStyle Typing, Lambda Lifting, and Partial Peter Thiemann ?
• Under consideration for publication in J. Functional Programming 1 A Typed Representation for HTML and XML
• Compiling Adaptive Programs by Partial Peter Thiemann
• Continuation-based Partial Evaluation Without Continuations
• First-Class Polyvariant Functions and Co-Arity Peter Thiemann
• Towards Partial Evaluation of Full Scheme Peter Thiemann \Lambda
• ML and the Address Operator Michael Sperber
• Monadic Type Systems: Pure Type Systems for Impure Settings
• Partial Evaluation for HigherOrder Languages with State Peter Thiemann \Lambda
• Polyvariant Expansion and Compiler Generators Peter Thiemann and Michael Sperber
• Sound Specialization in the Presence of Computational Effects
• Distributed Partial Evaluation Michael Sperber Herbert Klaeren Peter Thiemann
• Enforcing Safety Properties Using Type Specialization
• Interpreting Specialization in Type Theory Peter Thiemann \Lambda
• HigherOrder Redundancy Elimination Peter Thiemann
• Two Flavors of Offline Partial Evaluation Simon Helsen 1 and Peter Thiemann 2
• Caching for XML Generators: An Application of TwoLevel Techniques
• Program Specialization for Ecient Monitored Peter Thiemann
• Electronic Notes in Theoretical Computer Science 6 (1997) URL: http://www.elsevier.nl/locate/entcs/volume6.html 25 pages
• WASH/CGI: Serverside Web Scripting with Sessions, Compositional Forms, and Graphics
• An Algebraic Foundation for Adaptive Programming
• Implementing Memoization for Partial Peter Thiemann
• An Embedded Domain-Speci c Language for Type-Safe Server-Side Web-Scripting
• Program Generation With Class Peter Thiemann and Michael Sperber
• A Unified Framework for BindingTime Analysis Peter Thiemann
• A Generic Framework for Specialization (Abridged Version)