Peter Thiemann

225 papers A* 8A 25B 20C 29Misc 6Journal 77Unranked 54
YearRankTypeTitle / Venue / Authors
2025 J jnl
Borrowing from Session Types.
Proc. ACM Program. Lang.
Hannes Saffrich, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos
2025 J jnl
Partial Orders for Precise and Efficient Dynamic Deadlock Prediction.
CoRR
Bas van den Heuvel, Martin Sulzmann, Peter Thiemann
2024 A conf
A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson.
ECOOP
Barnabas Arvay, Thi Thu Ha Doan, Peter Thiemann
2024 B conf
A Formal Verification Framework for Tezos Smart Contracts Based on Symbolic Execution.
APLAS
Thi Thu Ha Doan, Peter Thiemann
2024 — conf
Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma.
TyDe@ICFP
Hannes Saffrich, Peter Thiemann, Marius Weidner
2024 J jnl
Law and Order for Typestate with Borrowing.
CoRR
Hannes Saffrich, Yuki Nishida, Peter Thiemann
2024 J jnl
Law and Order for Typestate with Borrowing.
Proc. ACM Program. Lang.
Hannes Saffrich, Yuki Nishida, Peter Thiemann
2024 J jnl
Next Generation Protocols for Heterogeneous Systems (Dagstuhl Seminar 24051).
Dagstuhl Reports
Stephanie Balzer, Marco Carbone, Roland Kuhn, Peter Thiemann
2023 J jnl
Cross-thread critical sections and efficient dynamic race prediction methods.
CoRR
Martin Sulzmann, Peter Thiemann
2023 J jnl
Intrinsically Typed Sessions With Callbacks.
CoRR
Peter Thiemann
2023 J jnl
Intrinsically Typed Sessions with Callbacks (Functional Pearl).
Proc. ACM Program. Lang.
Peter Thiemann
2023 J jnl
Parameterized Algebraic Protocols.
CoRR
Andreia Mordido, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos
2023 J jnl
Parameterized Algebraic Protocols.
Proc. ACM Program. Lang.
Andreia Mordido, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos
2023 C conf
Polymorphic Typestate for Session Types.
PPDP
Hannes Saffrich, Peter Thiemann
2022 J jnl
Global Type Inference for Featherweight Generic Java - Prototype Implementation (Artifact).
Dagstuhl Artifacts Ser.
Andreas Stadelmeier, Martin Plümicke, Peter Thiemann
2022 A conf
Global Type Inference for Featherweight Generic Java.
ECOOP
Andreas Stadelmeier, Martin Plümicke, Peter Thiemann
2022 J jnl
Global Type Inference for Featherweight Generic Java.
CoRR
Andreas Stadelmeier, Martin Plümicke, Peter Thiemann
2022 J jnl
Polymorphic Typestate for Session Types.
CoRR
Hannes Saffrich, Peter Thiemann
2022 J jnl
Polymorphic lambda calculus with context-free session types.
Inf. Comput.
Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos
2022 J jnl
Relating Functional and Imperative Session Types.
Log. Methods Comput. Sci.
Hannes Saffrich, Peter Thiemann
2021 B conf
A Typed Programmatic Interface to Contracts on the Blockchain.
APLAS
Thi Thu Ha Doan, Peter Thiemann
2021 J jnl
A Typed Programmatic Interface to Contracts on the Blockchain.
CoRR
Thi Thu Ha Doan, Peter Thiemann
2021 J jnl
Blame and coercion: Together again for the first time.
J. Funct. Program.
Jeremy G. Siek, Peter Thiemann, Philip Wadler
2021 J jnl
Generation of TypeScript Declaration Files from JavaScript Code.
CoRR
Fernando Cristiani, Peter Thiemann
2021 C conf
Generation of TypeScript declaration files from JavaScript code.
MPLR
Fernando Cristiani, Peter Thiemann
2021 J jnl
Label dependent lambda calculus and gradual typing.
Proc. ACM Program. Lang.
Weili Fu, Fabian Krause, Peter Thiemann
2021 J jnl
Polymorphic Context-free Session Types.
CoRR
Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos
2021 C conf
Relating Functional and Imperative Session Types.
COORDINATION
Hannes Saffrich, Peter Thiemann
2021 — conf
Towards Contract Modules for the Tezos Blockchain (Short Paper).
FMBC@CAV
Thi Thu Ha Doan, Peter Thiemann
2020 — conf
Duality of Session Types: The Final Cut.
PLACES@ETAPS
Simon J. Gay, Peter Thiemann, Vasco T. Vasconcelos
2020 J jnl
Kindly bent to free us.
Proc. ACM Program. Lang.
Gabriel Radanne, Hannes Saffrich, Peter Thiemann
2020 J jnl
Label-dependent session types.
Proc. ACM Program. Lang.
Peter Thiemann, Vasco T. Vasconcelos
2020 J jnl
Relating Functional and Imperative Session Types.
CoRR
Hannes Saffrich, Peter Thiemann
2019 J jnl
Derivatives and partial derivatives for regular shuffle expressions.
J. Comput. Syst. Sci.
Martin Sulzmann, Peter Thiemann
2019 J jnl
Gradual session types.
J. Funct. Program.
Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler
2019 C conf
Intrinsically-Typed Mechanized Semantics for Session Types.
PPDP
Peter Thiemann
2019 J jnl
Intrinsically-Typed Mechanized Semantics for Session Types.
CoRR
Peter Thiemann
2019 J jnl
Kindly Bent to Free Us.
CoRR
Gabriel Radanne, Peter Thiemann
2019 J jnl
Label-Dependent Session Types.
CoRR
Peter Thiemann, Vasco T. Vasconcelos
2018 J jnl
Gradual Session Types.
CoRR
Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler
2018 C conf
LTL Semantic Tableaux and Alternating \omega ω -automata via Linear Factors.
ICTAC
Martin Sulzmann, Peter Thiemann
2018 C ed.
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018
PPDP
David Sabel, Peter Thiemann
2018 B conf
Regenerate: a language generator for extended regular expressions.
GPCE
Gabriel Radanne, Peter Thiemann
2017 B conf
A Computational Interpretation of Context-Free Expressions.
APLAS
Martin Sulzmann, Peter Thiemann
2017 J jnl
A Computational Interpretation of Context-Free Expressions.
CoRR
Martin Sulzmann, Peter Thiemann
2017 J jnl
Gradual session types.
Proc. ACM Program. Lang.
Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, Philip Wadler
2017 Misc conf
Interleaving sessions with predicates.
SAC
Peter Thiemann
2017 J jnl
LTL Semantic Tableaux and Alternating ω-automata via Linear Factors.
CoRR
Martin Sulzmann, Peter Thiemann
2017 B conf
Partial Derivatives for Context-Free Languages - From \mu -Regular Expressions to Pushdown Automata.
FoSSaCS
Peter Thiemann
2017 J jnl
Static Contract Simplification.
CoRR
Matthias Keil, Peter Thiemann
2016 — conf
A Delta for Hybrid Type Checking.
A List of Successes That Can Change the World
Peter Thiemann
2016 A conf
Context-free session types.
ICFP
Peter Thiemann, Vasco T. Vasconcelos
2016 C conf
Derivatives for Enhanced Regular Expressions.
CIAA
Peter Thiemann
2016 J jnl
Derivatives for Enhanced Regular Expressions.
CoRR
Peter Thiemann
2016 — conf
Dynamic Flow Analysis for JavaScript.
TFP
Nico Naus, Peter Thiemann
2016 C conf
Forkable Regular Expressions.
LATA
Martin Sulzmann, Peter Thiemann
2016 J jnl
From μ-Regular Expressions to Pushdown Automata.
CoRR
Peter Thiemann
2016 J jnl
LJGS: Gradual Security Types for Object-Oriented Languages (Artifact).
Dagstuhl Artifacts Ser.
Luminous Fennell, Peter Thiemann
2016 A conf
LJGS: Gradual Security Types for Object-Oriented Languages.
ECOOP
Luminous Fennell, Peter Thiemann
2016 A ed.
Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
ESOP
Peter Thiemann
2016 B conf
Static Trace-Based Deadlock Analysis for Synchronous Mini-Go.
APLAS
Kai Stadtmüller, Martin Sulzmann, Peter Thiemann
2016 J jnl
Static Trace-Based Deadlock Analysis for Synchronous Mini-Go.
CoRR
Kai Stadtmüller, Martin Sulzmann, Peter Thiemann
2016 J jnl
Transaction-based Sandboxing for JavaScript.
CoRR
Matthias Keil, Peter Thiemann
2016 C conf
Transparent object proxies for javascript.
Software Engineering
Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann
2015 — conf
A Falsification View of Success Typing.
NFM
Robert Jakob, Peter Thiemann
2015 J jnl
A Falsification View of Success Typing.
CoRR
Robert Jakob, Peter Thiemann
2015 A* conf
Blame and coercion: together again for the first time.
PLDI
Jeremy G. Siek, Peter Thiemann, Philip Wadler
2015 A conf
Blame assignment for higher-order contracts with intersection and union.
ICFP
Matthias Keil, Peter Thiemann
2015 J jnl
Combining behavioural types with security analysis.
CoRR
Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira
2015 J jnl
Combining behavioural types with security analysis.
J. Log. Algebraic Methods Program.
Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira
2015 C conf
Derivatives for Regular Shuffle Expressions.
LATA
Martin Sulzmann, Peter Thiemann
2015 J jnl
Forkable Regular Expressions.
CoRR
Martin Sulzmann, Peter Thiemann
2015 C conf
From \omega -Regular Expressions to Büchi Automata via Partial Derivatives.
LATA
Peter Thiemann, Martin Sulzmann
2015 — conf
Gradual Typing for Annotated Type Systems.
Software Engineering & Management
Luminous Fennell, Peter Thiemann
2015 J jnl
Transparent Object Proxies for JavaScript (Artifact).
Dagstuhl Artifacts Ser.
Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann
2015 J jnl
Transparent Object Proxies for JavaScript.
CoRR
Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann
2015 A conf
Transparent Object Proxies in JavaScript.
ECOOP
Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann
2015 J jnl
TreatJS: Higher-Order Contracts for JavaScript (Artifact).
Dagstuhl Artifacts Ser.
Matthias Keil, Peter Thiemann
2015 J jnl
TreatJS: Higher-Order Contracts for JavaScript.
CoRR
Matthias Keil, Peter Thiemann
2015 A conf
TreatJS: Higher-Order Contracts for JavaScripts.
ECOOP
Matthias Keil, Peter Thiemann
2014 C conf
A Type Theoretic Specification of Partial Evaluation.
PPDP
Kenichi Asai, Luminous Fennell, Peter Thiemann, Yang Zhang
2014 A conf
Gradual Typing for Annotated Type Systems.
ESOP
Peter Thiemann, Luminous Fennell
2014 C conf
Precise Interprocedural Side-Effect Analysis.
ICTAC
Manuel Geffken, Hannes Saffrich, Peter Thiemann
2014 J jnl
Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271).
Dagstuhl Reports
Fritz Henglein, Ranjit Jhala, Shriram Krishnamurthi, Peter Thiemann
2014 — conf
Session Types with Gradual Typing.
TGC
Peter Thiemann
2014 — conf
Side effect monitoring for Java using bytecode rewriting.
PPPJ
Manuel Geffken, Peter Thiemann
2014 J jnl
Software Contracts for Communication, Monitoring, and Security (NII Shonan Meeting 2014-6).
NII Shonan Meet. Rep.
Atsushi Igarashi, Peter Thiemann, Philip Wadler
2014 — conf
Symbolic Solving of Extended Regular Expression Inequalities.
FSTTCS
Matthias Keil, Peter Thiemann
2014 J jnl
Symbolic Solving of Extended Regular Expression Inequalities.
CoRR
Matthias Keil, Peter Thiemann
2014 — conf
Towards Specializing JavaScript Programs.
Ershov Memorial Conference
Peter Thiemann
2013 — conf
Circularity and Lambda Abstraction: From Bird to Pettorossi and back.
IFL
Olivier Danvy, Peter Thiemann, Ian Zerny
2013 J jnl
Efficient Dynamic Access Analysis Using JavaScript Proxies.
CoRR
Matthias Keil, Peter Thiemann
2013 C conf
Efficient dynamic access analysis using JavaScript proxies.
DLS
Matthias Keil, Peter Thiemann
2013 A conf
Gradual Security Typing with References.
CSF
Luminous Fennell, Peter Thiemann
2013 J jnl
On the Proxy Identity Crisis.
CoRR
Matthias Keil, Peter Thiemann
2013 C conf
Partially static operations.
PEPM
Peter Thiemann
2013 J jnl
Towards Tree Automata-based Success Types.
CoRR
Robert Jakob, Peter Thiemann
2013 J jnl
Type-based Dependency Analysis for JavaScript
CoRR
Matthias Keil, Peter Thiemann
2013 — conf
Type-based dependency analysis for javascript.
PLAS
Matthias Keil, Peter Thiemann
2012 A ed.
ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012
ICFP
Peter Thiemann, Robby Bruce Findler
2012 A* conf
Access permission contracts for scripting languages.
POPL
Phillip Heidegger, Annette Bieniusa, Peter Thiemann
2012 — conf
Agda Meets Accelerate.
IFL
Peter Thiemann, Manuel M. T. Chakravarty
2012 Misc ed.
Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
FLOPS
Tom Schrijvers, Peter Thiemann
2012 J jnl
JSConTest: Contract-Driven Testing and Path Effect Inference for JavaScript.
J. Object Technol.
Phillip Heidegger, Peter Thiemann
2012 B conf
Rethinking Java call stack design for tiny embedded devices.
LCTES
Faisal Aslam, Ghufran Baig, Mubashir Adnan Qureshi, Zartash Afzal Uzmi, Luminous Fennell, Peter Thiemann, Christian Schindelhauer, Elmar Haussmann
2012 — conf
The Blame Theorem for a Linear Lambda Calculus with Type Dynamic.
Trends in Functional Programming
Luminous Fennell, Peter Thiemann
2012 C conf
The interaction of contracts and laziness.
PEPM
Markus Degen, Peter Thiemann, Stefan Wehr
2012 J jnl
The interaction of contracts and laziness.
High. Order Symb. Comput.
Markus Degen, Peter Thiemann, Stefan Wehr
2011 — conf
A Heuristic Approach for Computing Effects.
TOOLS (49)
Phillip Heidegger, Peter Thiemann
2011 J jnl
JavaGI: The Interaction of Type Classes with Interfaces and Inheritance.
ACM Trans. Program. Lang. Syst.
Stefan Wehr, Peter Thiemann
2011 Misc conf
Offline GC: trashing reachable objects on tiny devices.
SenSys
Faisal Aslam, Luminous Fennell, Christian Schindelhauer, Peter Thiemann, Zartash Afzal Uzmi
2011 J jnl
On the Decidability of Subtyping with Bounded Existential Types and Implementation Constraints.
New Gener. Comput.
Stefan Wehr, Peter Thiemann
2011 A conf
Proving Isolation Properties for Software Transactional Memory.
ESOP
Annette Bieniusa, Peter Thiemann
2010 A* conf
Brief announcement: actions in the twilight - concurrent irrevocable transactions and inconsistency repair.
PODC
Annette Bieniusa, Arie Middelkoop, Peter Thiemann
2010 — conf
Contract-Driven Testing of JavaScript Code.
TOOLS (48)
Phillip Heidegger, Peter Thiemann
2010 — conf
DOM Transactions for Testing JavaScript.
TAIC PART
Phillip Heidegger, Annette Bieniusa, Peter Thiemann
2010 J jnl
Eager and delayed contract monitoring for call-by-value and call-by-name evaluation.
J. Log. Algebraic Methods Program.
Markus Degen, Peter Thiemann, Stefan Wehr
2010 B conf
Interprocedural Analysis with Lazy Propagation.
SAS
Simon Holm Jensen, Anders Møller, Peter Thiemann
2010 C conf
Mnemonics: type-safe bytecode generation at run time.
PEPM
Johannes Rudolph, Peter Thiemann
2010 J jnl
Mnemonics: type-safe bytecode generation at run time.
High. Order Symb. Comput.
Johannes Rudolph, Peter Thiemann
2010 B conf
Optimized Java Binary and Virtual Machine for Tiny Motes.
DCOSS
Faisal Aslam, Luminous Fennell, Christian Schindelhauer, Peter Thiemann, Gidon Ernst, Elmar Haussmann, Stefan Rührup, Zartash Afzal Uzmi
2010 A conf
Recency Types for Analyzing Scripting Languages.
ECOOP
Phillip Heidegger, Peter Thiemann
2010 J jnl
Special Issue Dedicated to ICFP 2008 Editorial.
J. Funct. Program.
Peter Thiemann, Henrik Nilsson
2010 Misc conf
Tag-Free Combinators for Binding-Time Polymorphic Program Generation.
FLOPS
Peter Thiemann, Martin Sulzmann
2010 B conf
Towards Deriving Type Systems and Implementations for Coroutines.
APLAS
Konrad Anton, Peter Thiemann
2010 — conf
Typing Coroutines.
Trends in Functional Programming
Konrad Anton, Peter Thiemann
2009 B conf
How to CPS Transform a Monad.
CC
Annette Bieniusa, Peter Thiemann
2009 B conf
JavaGI in the battlefield: practical experience with generalized interfaces.
GPCE
Stefan Wehr, Peter Thiemann
2009 B conf
On the Decidability of Subtyping with Bounded Existential Types.
APLAS
Stefan Wehr, Peter Thiemann
2009 — conf
True Lies: Lazy Contracts for Lazy Languages.
GI Jahrestagung
Markus Degen, Peter Thiemann, Stefan Wehr
2009 B conf
Type Analysis for JavaScript.
SAS
Simon Holm Jensen, Anders Møller, Peter Thiemann
2008 J jnl
Editorial.
High. Order Symb. Comput.
Olivier Danvy, R. Kent Dybvig, Julia Lawall, Peter Thiemann
2008 — conf
Htdp and dmda in the battlefield: a case study in first-year programming instruction.
FDPE@ICFP
Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin Gasbichler, Michael Sperber, Marcus Crestani, Herbert Klaeren, Eric Knauel
2008 B conf
Interface Types for Haskell.
APLAS
Peter Thiemann, Stefan Wehr
2008 C conf
Macros for context-free grammars.
PPDP
Peter Thiemann, Matthias Neubauer
2008 — conf
Placement Inference for a Client-Server Calculus.
ICALP (2)
Matthias Neubauer, Peter Thiemann
2008 A ed.
Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008
ICFP
James Hook, Peter Thiemann
2008 — conf
The Relation of Version Control to Concurrent Programming.
CSSE (3)
Annette Bieniusa, Peter Thiemann, Stefan Wehr
2007 — conf
07051 Abstracts Collection -- Programming Paradigms for the Web: Web Programming and Web Services.
Programming Paradigms for the Web: Web Programming and Web Services
Richard Hull, Peter Thiemann, Philip Wadler
2007 — conf
07051 Executive Summary -- Programming Paradigms for the Web: Web Programming and Web Services.
Programming Paradigms for the Web: Web Programming and Web Services
Richard Hull, Peter Thiemann, Philip Wadler
2007 — conf
07051 Working Group Outcomes -- Programming Paradigms for the Web: Web Programming and Web Services.
Programming Paradigms for the Web: Web Programming and Web Services
Richard Hull, Peter Thiemann, Philip Wadler
2007 A conf
JavaGI : Generalized Interfaces for Java.
ECOOP
Stefan Wehr, Ralf Lämmel, Peter Thiemann
2007 — ed.
Programming Paradigms for the Web: Web Programming and Web Services, 28.01. - 02.02.2007
Programming Paradigms for the Web: Web Programming and Web Services
Richard Hull, Peter Thiemann, Philip Wadler
2007 A conf
Tracking Linear and Affine Resources with Java(X).
ECOOP
Markus Degen, Peter Thiemann, Stefan Wehr
2006 — conf
A Spreadsheet Client for Web Applications.
NGITS
Dirk Draheim, Peter Thiemann, Gerald Weber
2006 J jnl
Editorial.
High. Order Symb. Comput.
Olivier Danvy, Oege de Moor, Julian A. Padget, Peter Thiemann
2006 — conf
Field Access Analysis for Enforcing Access Control Policies.
ETRICS
Kathrin Lehmann, Peter Thiemann
2006 — conf
Integration of an Action Language Via UML Action Semantics.
TEAA
Claudius Heitz, Peter Thiemann, Thomas Wölfle
2006 C conf
User-level transactional programming in Haskell.
Haskell
Peter Thiemann
2006 Misc conf
WASH Server Pages.
FLOPS
Peter Thiemann
2006 J jnl
Waitomo, eine interface-orientierte Programmiersprache.
Softwaretechnik-Trends
Peter Thiemann, Stefan Wehr
2005 — conf
A Type Safe DOM API.
DBPL
Peter Thiemann
2005 J jnl
An embedded domain-specific language for type-safe server-side web scripting.
ACM Trans. Internet Techn.
Peter Thiemann
2005 A* conf
From sequential programs to multi-tier applications by program transformation.
POPL
Matthias Neubauer, Peter Thiemann
2005 — conf
Grammar-based analysis of string expressions.
TLDI
Peter Thiemann
2005 A conf
Towards a Type System for Analyzing JavaScript Programs.
ESOP
Peter Thiemann
2004 C conf
An Implementation of Session Types.
PADL
Matthias Neubauer, Peter Thiemann
2004 J jnl
Editorial: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation.
High. Order Symb. Comput.
Wei-Ngan Chin, Olivier Danvy, Peter Thiemann
2004 C conf
Haskell type browser.
Haskell
Matthias Neubauer, Peter Thiemann
2004 J jnl
Introduction to the Special Issue on Dependent Type Theory Meets Practical Programming.
J. Funct. Program.
Gilles Barthe, Peter Dybjer, Peter Thiemann
2004 — conf
Parameterized LR Parsing.
LDTA@ETAPS
Peter Thiemann, Matthias Neubauer
2004 J jnl
Polymorphic specialization for ML.
ACM Trans. Program. Lang. Syst.
Simon Helsen, Peter Thiemann
2004 B conf
Protocol Specialization.
APLAS
Matthias Neubauer, Peter Thiemann
2004 — conf
Server-Side Web Programming in WASH.
Advanced Functional Programming
Peter Thiemann
2004 — conf
Static Analysis of the Frequency of Change.
GI Jahrestagung (2)
Peter Thiemann
2003 B conf
Continuation-Based Partial Evaluation without Continuations.
SAS
Peter Thiemann
2003 A conf
Discriminative sum types locate the source of type errors.
ICFP
Matthias Neubauer, Peter Thiemann
2003 — ed.
International Workshop in Types in Programming, TIP@MPC 2002, Dagstuhl, Germany, July 8, 2002
TIP@MPC
Gilles Barthe, Peter Thiemann
2003 J jnl
Program specialization for execution monitoring.
J. Funct. Program.
Peter Thiemann
2003 J jnl
The marriage of effects and monads.
ACM Trans. Comput. Log.
Philip Wadler, Peter Thiemann
2003 C conf
XML templates and caching in WASH.
Haskell
Peter Thiemann
2002 A conf
A Prototype Dependency Calculus.
ESOP
Peter Thiemann
2002 J jnl
A typed representation for HTML and XML documents in Haskell.
J. Funct. Program.
Peter Thiemann
2002 A* conf
Functional logic overloading.
POPL
Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber
2002 — conf
Preface.
TIP@MPC
Gilles Barthe, Peter Thiemann
2002 C ed.
Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), Portland, Oregon, USA, January 14-15, 2002
PEPM
Peter Thiemann
2002 — conf
Programmable Type Systems for Domain Specific Languages.
WFLP
Peter Thiemann
2002 J jnl
Syntactic Type Soundness Results for the Region Calculus.
Inf. Comput.
Cristiano Calcagno, Simon Helsen, Peter Thiemann
2002 A conf
Type classes with more higher-order polymorphism.
ICFP
Matthias Neubauer, Peter Thiemann
2002 C conf
WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms.
PADL
Peter Thiemann
2001 A conf
Enforcing Safety Properties Using Type Specialization.
ESOP
Peter Thiemann
2000 B conf
An Algebraic Foundation for Adaptive Programming.
FoSSaCS
Peter Thiemann
2000 B conf
Compiling Adaptive Programs by Partial Evaluation.
CC
Peter Thiemann
2000 — conf
Fragmental Specialization.
SAIG
Simon Helsen, Peter Thiemann
2000 J jnl
Generation of LR parsers by partial evaluation.
ACM Trans. Program. Lang. Syst.
Michael Sperber, Peter Thiemann
2000 C conf
Modeling HTML in Haskell.
PADL
Peter Thiemann
2000 — conf
Syntactic Type Soundness for the Region Calculus.
HOOTS
Simon Helsen, Peter Thiemann
1999 J jnl
Combinators for Program Generation.
J. Funct. Program.
Peter Thiemann
1999 A conf
Higher-Order Code Splicing.
ESOP
Peter Thiemann
1999 C conf
Interpreting Specialization in Type Theory.
PEPM
Peter Thiemann
1999 — ed.
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998
Partial Evaluation
John Hatcliff, Torben Æ. Mogensen, Peter Thiemann
1998 J jnl
1998 Symposium on Partial Evaluation.
ACM Comput. Surv.
Olivier Danvy, Robert Glück, Peter Thiemann
1998 A conf
A Generic Framework for Specialization (Abridged Version).
ESOP
Peter Thiemann
1998 — conf
Aspects of the PGG System: Specialization for Standard Scheme.
Partial Evaluation
Peter Thiemann
1998 — conf
Formalizing Resourve Allocation in a Compiler.
Types in Compilation
Peter Thiemann
1998 A* conf
Single and Loving It: Must-Alias Analysis for Higher-Order Languages.
POPL
Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew K. Wright
1998 — conf
Two Flavors of Offline Partial Evaluation.
ASIAN
Simon Helsen, Peter Thiemann
1997 — conf
A Unified Framework for Binding-Time Analysis.
TAPSOFT
Peter Thiemann
1997 B conf
Correctness of a region-based binding-time analysis.
MFPS
Peter Thiemann
1997 — conf
Distributed partial evaluation.
PASCO
Michael Sperber, Peter Thiemann, Herbert Klaeren
1997 J jnl
Drawing Syntax Diagrams in Haskell.
Softw. Pract. Exp.
Peter Thiemann
1997 — conf
Monadic Type Systems: Pure Type Systems for Impure Settings.
HOOTS
Gilles Barthe, John Hatcliff, Peter Thiemann
1997 — conf
Program Generation with Class.
GI Jahrestagung
Peter Thiemann, Michael Sperber
1997 — conf
Sound Specialization in the Presence of Computational Effects.
TACS
Julia L. Lawall, Peter Thiemann
1997 A* conf
Two for the Price of One: Composing Partial Evaluation and Compilation.
PLDI
Michael Sperber, Peter Thiemann
1997 A conf
Type Specialization for Imperative Languages.
ICFP
Dirk Dussart, John Hughes, Peter Thiemann
1996 Misc conf
Bootstrapping higher-order program transformers from interpreters.
SAC
Michael Sperber, Robert Glück, Peter Thiemann
1996 A conf
Cogen in Six Lines.
ICFP
Peter Thiemann
1996 — conf
Implementing Memoization for Partial Evaluation.
PLILP
Peter Thiemann
1996 — ed.
Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers
Dagstuhl Seminar on Partial Evaluation
Olivier Danvy, Robert Glück, Peter Thiemann
1996 — conf
Polyvariant Expansion and Compiler Generators.
Ershov Memorial Conference
Peter Thiemann, Michael Sperber
1996 A* conf
Realistic Compilation by Partial Evaluation.
PLDI
Michael Sperber, Peter Thiemann
1996 — conf
Synchronization Analyses for Multiple Recursion Parameters (Extended Abstract).
Dagstuhl Seminar on Partial Evaluation
Wei-Ngan Chin, Siau-Cheng Khoo, Peter Thiemann
1995 C conf
The Essence of LR Parsing.
PEPM
Michael Sperber, Peter Thiemann
1995 — conf
Unboxed Values and Polymorphic Typing Revisited.
FPCA
Peter Thiemann
1994 — book
Grundlagen der funktionalen Programmierung.
Peter Thiemann
1994 C conf
Higher-Order Redundancy Elimination.
PEPM
Peter Thiemann
1993 C conf
A Safety Analysis for Functional Programs.
PEPM
Peter Thiemann
1993 — conf
An Overview of the SODA System.
AMAST
Peter Thiemann
1993 — conf
Avoiding Repeated Tests in Pattern Matching.
WSA
Peter Thiemann
1993 J jnl
Optimizing Structural Recursion in Functional Programs.
Comput. Lang.
Peter Thiemann
1992 — conf
LaToKi: A Language Toolkit for Bottom-Up Evaluation of Functional Programs.
PLILP
Peter Thiemann
1992 — conf
Optimizing structural recursion in functional programs.
ICCL
Peter Thiemann
1991 — —
Konzepte zur effizienten Implementierung strukturell rekursiver Programme.
Peter Thiemann
1990 J jnl
A Clean Modula-2 Interface to Abstract Data Types.
Struct. Program.
Herbert Klaeren, Peter Thiemann