default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPeter Thiemann 0001
Person information
- affiliation: University of Freiburg, Germany
Other persons with the same name
- Peter Thiemann 0002 — South Westphalia University of Applied Sciences, Soest, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j41]Hannes Saffrich
, Yuki Nishida, Peter Thiemann:
Law and Order for Typestate with Borrowing. Proc. ACM Program. Lang. 8(OOPSLA2): 1475-1503 (2024)- [c133]Thi Thu Ha Doan, Peter Thiemann:
A Formal Verification Framework for Tezos Smart Contracts Based on Symbolic Execution. APLAS 2024: 305-324 - [c132]Barnabas Arvay, Thi Thu Ha Doan, Peter Thiemann:
A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson. ECOOP 2024: 3:1-3:26 - [c131]Hannes Saffrich, Peter Thiemann, Marius Weidner:
Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma. TyDe@ICFP 2024: 2-15 - [i37]Hannes Saffrich, Yuki Nishida, Peter Thiemann:
Law and Order for Typestate with Borrowing. CoRR abs/2408.14031 (2024) - [i36]Stephanie Balzer, Marco Carbone, Roland Kuhn, Peter Thiemann:
Next Generation Protocols for Heterogeneous Systems (Dagstuhl Seminar 24051). Dagstuhl Reports 14(1): 108-129 (2024) - 2023
- [j40]Peter Thiemann:
Intrinsically Typed Sessions with Callbacks (Functional Pearl). Proc. ACM Program. Lang. 7(ICFP): 711-739 (2023) - [j39]Andreia Mordido, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos:
Parameterized Algebraic Protocols. Proc. ACM Program. Lang. 7(PLDI): 1389-1413 (2023) - [c130]Hannes Saffrich, Peter Thiemann:
Polymorphic Typestate for Session Types. PPDP 2023: 12:1-12:15 - [d3]Janek Spaderna, Peter Thiemann, Andreia Mordido, Vasco Thudichum Vasconcelos:
AlgST. Zenodo, 2023
- [i35]Peter Thiemann:
Intrinsically Typed Sessions With Callbacks. CoRR abs/2303.01278 (2023) - [i34]Andreia Mordido, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos:
Parameterized Algebraic Protocols. CoRR abs/2304.03764 (2023) - [i33]Martin Sulzmann, Peter Thiemann:
Cross-thread critical sections and efficient dynamic race prediction methods. CoRR abs/2307.09855 (2023) - 2022
- [j38]Andreas Stadelmeier, Martin Plümicke, Peter Thiemann:
Global Type Inference for Featherweight Generic Java - Prototype Implementation (Artifact). Dagstuhl Artifacts Ser. 8(2): 18:1-18:4 (2022) - [j37]Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos:
Polymorphic lambda calculus with context-free session types. Inf. Comput. 289(Part): 104948 (2022) - [j36]Hannes Saffrich, Peter Thiemann:
Relating Functional and Imperative Session Types. Log. Methods Comput. Sci. 18(3) (2022) - [c129]Andreas Stadelmeier, Martin Plümicke, Peter Thiemann:
Global Type Inference for Featherweight Generic Java. ECOOP 2022: 28:1-28:27 - [i32]Andreas Stadelmeier, Martin Plümicke, Peter Thiemann:
Global Type Inference for Featherweight Generic Java. CoRR abs/2205.08768 (2022) - [i31]Hannes Saffrich, Peter Thiemann:
Polymorphic Typestate for Session Types. CoRR abs/2210.17335 (2022) - 2021
- [j35]Jeremy G. Siek, Peter Thiemann, Philip Wadler:
Blame and coercion: Together again for the first time. J. Funct. Program. 31: e20 (2021) - [j34]Weili Fu, Fabian Krause, Peter Thiemann:
Label dependent lambda calculus and gradual typing. Proc. ACM Program. Lang. 5(OOPSLA): 1-29 (2021) - [c128]Thi Thu Ha Doan, Peter Thiemann:
A Typed Programmatic Interface to Contracts on the Blockchain. APLAS 2021: 222-240 - [c127]Thi Thu Ha Doan, Peter Thiemann:
Towards Contract Modules for the Tezos Blockchain (Short Paper). FMBC@CAV 2021: 5:1-5:9 - [c126]Hannes Saffrich, Peter Thiemann:
Relating Functional and Imperative Session Types. COORDINATION 2021: 61-79 - [c125]Fernando Cristiani, Peter Thiemann:
Generation of TypeScript declaration files from JavaScript code. MPLR 2021: 97-112 - [d2]Fabian Krause, Weili Fu, Peter Thiemann:
Artifact for Label Dependent Lambda Calculus and Gradual Typing. Zenodo, 2021 - [d1]Hannes Saffrich, Peter Thiemann:
Mechanized proofs for "Relating Functional and Imperative Session Types". Zenodo, 2021 - [i30]Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos:
Polymorphic Context-free Session Types. CoRR abs/2106.06658 (2021) - [i29]Fernando Cristiani, Peter Thiemann:
Generation of TypeScript Declaration Files from JavaScript Code. CoRR abs/2108.08027 (2021) - [i28]Thi Thu Ha Doan, Peter Thiemann:
A Typed Programmatic Interface to Contracts on the Blockchain. CoRR abs/2108.11867 (2021) - 2020
- [j33]Gabriel Radanne, Hannes Saffrich, Peter Thiemann:
Kindly bent to free us. Proc. ACM Program. Lang. 4(ICFP): 103:1-103:29 (2020) - [j32]Peter Thiemann, Vasco T. Vasconcelos:
Label-dependent session types. Proc. ACM Program. Lang. 4(POPL): 67:1-67:29 (2020) - [c124]Simon J. Gay, Peter Thiemann, Vasco T. Vasconcelos:
Duality of Session Types: The Final Cut. PLACES@ETAPS 2020: 23-33 - [i27]Hannes Saffrich, Peter Thiemann:
Relating Functional and Imperative Session Types. CoRR abs/2010.08261 (2020)
2010 – 2019
- 2019
- [j31]Martin Sulzmann, Peter Thiemann:
Derivatives and partial derivatives for regular shuffle expressions. J. Comput. Syst. Sci. 104: 323-341 (2019) - [j30]Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler:
Gradual session types. J. Funct. Program. 29: e17 (2019) - [c123]Peter Thiemann:
Intrinsically-Typed Mechanized Semantics for Session Types. PPDP 2019: 19:1-19:15 - [i26]Peter Thiemann:
Intrinsically-Typed Mechanized Semantics for Session Types. CoRR abs/1908.02940 (2019) - [i25]Gabriel Radanne, Peter Thiemann:
Kindly Bent to Free Us. CoRR abs/1908.09681 (2019) - [i24]Peter Thiemann, Vasco T. Vasconcelos:
Label-Dependent Session Types. CoRR abs/1911.00705 (2019) - 2018
- [c122]Gabriel Radanne, Peter Thiemann:
Regenerate: a language generator for extended regular expressions. GPCE 2018: 202-214 - [c121]Martin Sulzmann, Peter Thiemann:
LTL Semantic Tableaux and Alternating \omega ω -automata via Linear Factors. ICTAC 2018: 11-34 - [e10]David Sabel, Peter Thiemann:
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018. ACM 2018 [contents] - [i23]Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler:
Gradual Session Types. CoRR abs/1809.05649 (2018) - 2017
- [j29]Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, Philip Wadler:
Gradual session types. Proc. ACM Program. Lang. 1(ICFP): 38:1-38:28 (2017) - [c120]Martin Sulzmann, Peter Thiemann:
A Computational Interpretation of Context-Free Expressions. APLAS 2017: 387-405 - [c119]Peter Thiemann:
Partial Derivatives for Context-Free Languages - From \mu -Regular Expressions to Pushdown Automata. FoSSaCS 2017: 248-264 - [c118]Peter Thiemann:
Interleaving sessions with predicates. SAC 2017: 1312-1318 - [i22]Matthias Keil, Peter Thiemann:
Static Contract Simplification. CoRR abs/1703.10331 (2017) - [i21]Martin Sulzmann, Peter Thiemann:
A Computational Interpretation of Context-Free Expressions. CoRR abs/1708.07366 (2017) - [i20]Martin Sulzmann, Peter Thiemann:
LTL Semantic Tableaux and Alternating ω-automata via Linear Factors. CoRR abs/1710.06678 (2017) - 2016
- [j28]Luminous Fennell, Peter Thiemann:
LJGS: Gradual Security Types for Object-Oriented Languages (Artifact). Dagstuhl Artifacts Ser. 2(1): 04:1-04:2 (2016) - [c117]Kai Stadtmüller, Martin Sulzmann, Peter Thiemann:
Static Trace-Based Deadlock Analysis for Synchronous Mini-Go. APLAS 2016: 116-136 - [c116]Peter Thiemann:
A Delta for Hybrid Type Checking. A List of Successes That Can Change the World 2016: 411-432 - [c115]Luminous Fennell, Peter Thiemann:
LJGS: Gradual Security Types for Object-Oriented Languages. ECOOP 2016: 9:1-9:26 - [c114]Peter Thiemann, Vasco T. Vasconcelos:
Context-free session types. ICFP 2016: 462-475 - [c113]Martin Sulzmann, Peter Thiemann:
Forkable Regular Expressions. LATA 2016: 194-206 - [c112]Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann:
Transparent object proxies for javascript. Software Engineering 2016: 23-24 - [c111]Nico Naus, Peter Thiemann:
Dynamic Flow Analysis for JavaScript. TFP 2016: 75-93 - [c110]Peter Thiemann:
Derivatives for Enhanced Regular Expressions. CIAA 2016: 285-297 - [e9]Peter Thiemann:
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. Lecture Notes in Computer Science 9632, Springer 2016, ISBN 978-3-662-49497-4 [contents] - [i19]Peter Thiemann:
Derivatives for Enhanced Regular Expressions. CoRR abs/1605.00817 (2016) - [i18]Kai Stadtmüller, Martin Sulzmann, Peter Thiemann:
Static Trace-Based Deadlock Analysis for Synchronous Mini-Go. CoRR abs/1608.08330 (2016) - [i17]Peter Thiemann:
From μ-Regular Expressions to Pushdown Automata. CoRR abs/1610.06832 (2016) - [i16]Matthias Keil, Peter Thiemann:
Transaction-based Sandboxing for JavaScript. CoRR abs/1612.00669 (2016) - 2015
- [j27]Matthias Keil, Peter Thiemann:
TreatJS: Higher-Order Contracts for JavaScript (Artifact). Dagstuhl Artifacts Ser. 1(1): 01:1-01:2 (2015) - [j26]Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann:
Transparent Object Proxies for JavaScript (Artifact). Dagstuhl Artifacts Ser. 1(1): 02:1-02:2 (2015) - [j25]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:
Combining behavioural types with security analysis. J. Log. Algebraic Methods Program. 84(6): 763-780 (2015) - [c109]Matthias Keil, Peter Thiemann:
TreatJS: Higher-Order Contracts for JavaScripts. ECOOP 2015: 28-51 - [c108]Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann:
Transparent Object Proxies in JavaScript. ECOOP 2015: 149-173 - [c107]Matthias Keil, Peter Thiemann:
Blame assignment for higher-order contracts with intersection and union. ICFP 2015: 375-386 - [c106]Martin Sulzmann, Peter Thiemann:
Derivatives for Regular Shuffle Expressions. LATA 2015: 275-286 - [c105]Peter Thiemann, Martin Sulzmann:
From \omega -Regular Expressions to Büchi Automata via Partial Derivatives. LATA 2015: 287-298 - [c104]Robert Jakob, Peter Thiemann:
A Falsification View of Success Typing. NFM 2015: 234-247 - [c103]Jeremy G. Siek, Peter Thiemann, Philip Wadler:
Blame and coercion: together again for the first time. PLDI 2015: 425-435 - [c102]Luminous Fennell, Peter Thiemann:
Gradual Typing for Annotated Type Systems. Software Engineering & Management 2015: 45-46 - [i15]Robert Jakob, Peter Thiemann:
A Falsification View of Success Typing. CoRR abs/1502.01278 (2015) - [i14]Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann:
Transparent Object Proxies for JavaScript. CoRR abs/1504.08100 (2015) - [i13]Matthias Keil, Peter Thiemann:
TreatJS: Higher-Order Contracts for JavaScript. CoRR abs/1504.08110 (2015) - [i12]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:
Combining behavioural types with security analysis. CoRR abs/1510.02229 (2015) - [i11]Martin Sulzmann, Peter Thiemann:
Forkable Regular Expressions. CoRR abs/1510.07293 (2015) - 2014
- [c101]Peter Thiemann:
Towards Specializing JavaScript Programs. Ershov Memorial Conference 2014: 320-334 - [c100]Peter Thiemann, Luminous Fennell:
Gradual Typing for Annotated Type Systems. ESOP 2014: 47-66 - [c99]Matthias Keil, Peter Thiemann:
Symbolic Solving of Extended Regular Expression Inequalities. FSTTCS 2014: 175-186 - [c98]Manuel Geffken, Hannes Saffrich, Peter Thiemann:
Precise Interprocedural Side-Effect Analysis. ICTAC 2014: 188-205 - [c97]Kenichi Asai, Luminous Fennell, Peter Thiemann, Yang Zhang:
A Type Theoretic Specification of Partial Evaluation. PPDP 2014: 57-68 - [c96]Manuel Geffken, Peter Thiemann:
Side effect monitoring for Java using bytecode rewriting. PPPJ 2014: 87-98 - [c95]Peter Thiemann:
Session Types with Gradual Typing. TGC 2014: 144-158 - [i10]Matthias Keil, Peter Thiemann:
Symbolic Solving of Extended Regular Expression Inequalities. CoRR abs/1410.3227 (2014) - [i9]Fritz Henglein, Ranjit Jhala, Shriram Krishnamurthi, Peter Thiemann:
Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271). Dagstuhl Reports 4(6): 84-107 (2014) - [i8]Atsushi Igarashi, Peter Thiemann, Philip Wadler:
Software Contracts for Communication, Monitoring, and Security (NII Shonan Meeting 2014-6). NII Shonan Meet. Rep. 2014 (2014) - 2013
- [c94]Luminous Fennell, Peter Thiemann:
Gradual Security Typing with References. CSF 2013: 224-239 - [c93]Matthias Keil, Peter Thiemann:
Efficient dynamic access analysis using JavaScript proxies. DLS 2013: 49-60 - [c92]Olivier Danvy, Peter Thiemann, Ian Zerny:
Circularity and Lambda Abstraction: From Bird to Pettorossi and back. IFL 2013: 85 - [c91]Peter Thiemann:
Partially static operations. PEPM 2013: 75-76 - [c90]Matthias Keil, Peter Thiemann:
Type-based dependency analysis for javascript. PLAS 2013: 47-58 - [i7]Matthias Keil, Peter Thiemann:
Type-based Dependency Analysis for JavaScript. CoRR abs/1305.6721 (2013) - [i6]Robert Jakob, Peter Thiemann:
Towards Tree Automata-based Success Types. CoRR abs/1306.5061 (2013) - [i5]Matthias Keil, Peter Thiemann:
Efficient Dynamic Access Analysis Using JavaScript Proxies. CoRR abs/1312.3184 (2013) - [i4]Matthias Keil, Peter Thiemann:
On the Proxy Identity Crisis. CoRR abs/1312.5429 (2013) - 2012
- [j24]Phillip Heidegger, Peter Thiemann:
JSConTest: Contract-Driven Testing and Path Effect Inference for JavaScript. J. Object Technol. 11(1): 1-29 (2012) - [j23]Markus Degen, Peter Thiemann, Stefan Wehr:
The interaction of contracts and laziness. High. Order Symb. Comput. 25(1): 85-125 (2012) - [c89]Peter Thiemann, Manuel M. T. Chakravarty:
Agda Meets Accelerate. IFL 2012: 174-189 - [c88]Faisal Aslam, Ghufran Baig, Mubashir Adnan Qureshi, Zartash Afzal Uzmi, Luminous Fennell, Peter Thiemann, Christian Schindelhauer, Elmar Haussmann:
Rethinking Java call stack design for tiny embedded devices. LCTES 2012: 1-10 - [c87]Markus Degen, Peter Thiemann, Stefan Wehr:
The interaction of contracts and laziness. PEPM 2012: 97-106 - [c86]Phillip Heidegger, Annette Bieniusa, Peter Thiemann:
Access permission contracts for scripting languages. POPL 2012: 111-122 - [c85]Luminous Fennell, Peter Thiemann:
The Blame Theorem for a Linear Lambda Calculus with Type Dynamic. Trends in Functional Programming 2012: 37-52 - [e8]Tom Schrijvers, Peter Thiemann:
Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings. Lecture Notes in Computer Science 7294, Springer 2012, ISBN 978-3-642-29821-9 [contents] - [e7]Peter Thiemann, Robby Bruce Findler:
ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012. ACM 2012, ISBN 978-1-4503-1054-3 [contents] - 2011
- [j22]Stefan Wehr, Peter Thiemann:
On the Decidability of Subtyping with Bounded Existential Types and Implementation Constraints. New Gener. Comput. 29(1): 87-124 (2011) - [j21]Stefan Wehr, Peter Thiemann:
JavaGI: The Interaction of Type Classes with Interfaces and Inheritance. ACM Trans. Program. Lang. Syst. 33(4): 12:1-12:83 (2011) - [c84]Annette Bieniusa, Peter Thiemann:
Proving Isolation Properties for Software Transactional Memory. ESOP 2011: 38-56 - [c83]Faisal Aslam, Luminous Fennell, Christian Schindelhauer, Peter Thiemann, Zartash Afzal Uzmi:
Offline GC: trashing reachable objects on tiny devices. SenSys 2011: 302-315 - [c82]Phillip Heidegger, Peter Thiemann:
A Heuristic Approach for Computing Effects. TOOLS (49) 2011: 147-162 - 2010
- [j20]Peter Thiemann, Henrik Nilsson:
Special Issue Dedicated to ICFP 2008 Editorial. J. Funct. Program. 20(5-6): 415-416 (2010) - [j19]Markus Degen, Peter Thiemann, Stefan Wehr:
Eager and delayed contract monitoring for call-by-value and call-by-name evaluation. J. Log. Algebraic Methods Program. 79(7): 515-549 (2010) - [j18]Johannes Rudolph, Peter Thiemann:
Mnemonics: type-safe bytecode generation at run time. High. Order Symb. Comput. 23(3): 371-407 (2010) - [c81]Konrad Anton, Peter Thiemann:
Towards Deriving Type Systems and Implementations for Coroutines. APLAS 2010: 63-79 - [c80]Faisal Aslam, Luminous Fennell, Christian Schindelhauer, Peter Thiemann, Gidon Ernst, Elmar Haussmann, Stefan Rührup, Zartash Afzal Uzmi:
Optimized Java Binary and Virtual Machine for Tiny Motes. DCOSS 2010: 15-30 - [c79]Phillip Heidegger, Peter Thiemann:
Recency Types for Analyzing Scripting Languages. ECOOP 2010: 200-224 - [c78]Peter Thiemann, Martin Sulzmann:
Tag-Free Combinators for Binding-Time Polymorphic Program Generation. FLOPS 2010: 87-102 - [c77]Johannes Rudolph, Peter Thiemann:
Mnemonics: type-safe bytecode generation at run time. PEPM 2010: 15-24 - [c76]Annette Bieniusa, Arie Middelkoop, Peter Thiemann:
Brief announcement: actions in the twilight - concurrent irrevocable transactions and inconsistency repair. PODC 2010: 71-72 - [c75]Simon Holm Jensen, Anders Møller, Peter Thiemann:
Interprocedural Analysis with Lazy Propagation. SAS 2010: 320-339 - [c74]Konrad Anton, Peter Thiemann:
Typing Coroutines. Trends in Functional Programming 2010: 16-30 - [c73]Phillip Heidegger, Annette Bieniusa, Peter Thiemann:
DOM Transactions for Testing JavaScript. TAIC PART 2010: 211-214 - [c72]Phillip Heidegger, Peter Thiemann:
Contract-Driven Testing of JavaScript Code. TOOLS (48) 2010: 154-172
2000 – 2009
- 2009
- [c71]Stefan Wehr, Peter Thiemann:
On the Decidability of Subtyping with Bounded Existential Types. APLAS 2009: 111-127 - [c70]Annette Bieniusa, Peter Thiemann:
How to CPS Transform a Monad. CC 2009: 266-280 - [c69]Markus Degen, Peter Thiemann, Stefan Wehr:
True Lies: Lazy Contracts for Lazy Languages. GI Jahrestagung 2009: 2946-2959 - [c68]Stefan Wehr, Peter Thiemann:
JavaGI in the battlefield: practical experience with generalized interfaces. GPCE 2009: 65-74 - [c67]Simon Holm Jensen, Anders Møller, Peter Thiemann:
Type Analysis for JavaScript. SAS 2009: 238-255 - 2008
- [j17]Olivier Danvy, R. Kent Dybvig, Julia Lawall, Peter Thiemann:
Editorial. High. Order Symb. Comput. 21(3): 237-238 (2008) - [c66]Peter Thiemann, Stefan Wehr:
Interface Types for Haskell. APLAS 2008: 256-272 - [c65]Annette Bieniusa, Peter Thiemann, Stefan Wehr:
The Relation of Version Control to Concurrent Programming. CSSE (3) 2008: 461-464 - [c64]Matthias Neubauer, Peter Thiemann:
Placement Inference for a Client-Server Calculus. ICALP (2) 2008: 75-86 - [c63]Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin Gasbichler, Michael Sperber, Marcus Crestani, Herbert Klaeren, Eric Knauel:
Htdp and dmda in the battlefield: a case study in first-year programming instruction. FDPE@ICFP 2008: 1-12 - [c62]Peter Thiemann, Matthias Neubauer:
Macros for context-free grammars. PPDP 2008: 120-130 - [e6]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, ISBN 978-1-59593-919-7 [contents] - 2007
- [c61]Stefan Wehr, Ralf Lämmel, Peter Thiemann:
JavaGI : Generalized Interfaces for Java. ECOOP 2007: 347-372 - [c60]Markus Degen, Peter Thiemann, Stefan Wehr:
Tracking Linear and Affine Resources with Java(X). ECOOP 2007: 550-574 - [e5]Richard Hull, Peter Thiemann, Philip Wadler:
Programming Paradigms for the Web: Web Programming and Web Services, 28.01. - 02.02.2007. Dagstuhl Seminar Proceedings 07051, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - [i3]Richard 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 - [i2]Richard 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 - [i1]Richard 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 - 2006
- [j16]Olivier Danvy, Oege de Moor, Julian A. Padget, Peter Thiemann:
Editorial. High. Order Symb. Comput. 19(1): 5 (2006) - [j15]Peter Thiemann, Stefan Wehr:
Waitomo, eine interface-orientierte Programmiersprache. Softwaretechnik-Trends 26(2) (2006) - [c59]Kathrin Lehmann, Peter Thiemann:
Field Access Analysis for Enforcing Access Control Policies. ETRICS 2006: 337-351 - [c58]Peter Thiemann:
WASH Server Pages. FLOPS 2006: 277-293 - [c57]Peter Thiemann:
User-level transactional programming in Haskell. Haskell 2006: 84-95 - [c56]Dirk Draheim, Peter Thiemann, Gerald Weber:
A Spreadsheet Client for Web Applications. NGITS 2006: 274-286 - [c55]Claudius Heitz, Peter Thiemann, Thomas Wölfle:
Integration of an Action Language Via UML Action Semantics. TEAA 2006: 172-186 - 2005
- [j14]Peter Thiemann:
An embedded domain-specific language for type-safe server-side web scripting. ACM Trans. Internet Techn. 5(1): 1-46 (2005) - [c54]Peter Thiemann:
A Type Safe DOM API. DBPL 2005: 169-183 - [c53]Peter Thiemann:
Towards a Type System for Analyzing JavaScript Programs. ESOP 2005: 408-422 - [c52]Matthias Neubauer, Peter Thiemann:
From sequential programs to multi-tier applications by program transformation. POPL 2005: 221-232 - [c51]Peter Thiemann:
Grammar-based analysis of string expressions. TLDI 2005: 59-70 - 2004
- [j13]Gilles 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) - [j12]Wei-Ngan Chin, Olivier Danvy, Peter Thiemann:
Editorial: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation. High. Order Symb. Comput. 17(1-2): 5-6 (2004) - [j11]Simon Helsen, Peter Thiemann:
Polymorphic specialization for ML. ACM Trans. Program. Lang. Syst. 26(4): 652-701 (2004) - [c50]Peter Thiemann:
Server-Side Web Programming in WASH. Advanced Functional Programming 2004: 309-330 - [c49]Matthias Neubauer, Peter Thiemann:
Protocol Specialization. APLAS 2004: 246-261 - [c48]Peter Thiemann:
Static Analysis of the Frequency of Change. GI Jahrestagung (2) 2004: 428-437 - [c47]Matthias Neubauer, Peter Thiemann:
Haskell type browser. Haskell 2004: 92-93 - [c46]Matthias Neubauer, Peter Thiemann:
An Implementation of Session Types. PADL 2004: 56-70 - [c45]Peter Thiemann, Matthias Neubauer:
Parameterized LR Parsing. LDTA@ETAPS 2004: 115-132 - 2003
- [j10]Peter Thiemann:
Program specialization for execution monitoring. J. Funct. Program. 13(3): 573-600 (2003) - [j9]Philip Wadler, Peter Thiemann:
The marriage of effects and monads. ACM Trans. Comput. Log. 4(1): 1-32 (2003) - [c44]Peter Thiemann:
XML templates and caching in WASH. Haskell 2003: 19-26 - [c43]Matthias Neubauer, Peter Thiemann:
Discriminative sum types locate the source of type errors. ICFP 2003: 15-26 - [c42]Peter Thiemann:
Continuation-Based Partial Evaluation without Continuations. SAS 2003: 366-382 - [e4]Gilles Barthe, Peter Thiemann:
International Workshop in Types in Programming, TIP@MPC 2002, Dagstuhl, Germany, July 8, 2002. Electronic Notes in Theoretical Computer Science 75, Elsevier 2003 [contents] - 2002
- [j8]Cristiano Calcagno, Simon Helsen, Peter Thiemann:
Syntactic Type Soundness Results for the Region Calculus. Inf. Comput. 173(2): 199-221 (2002) - [j7]Peter Thiemann:
A typed representation for HTML and XML documents in Haskell. J. Funct. Program. 12(4&5): 435-468 (2002) - [c41]Peter Thiemann:
A Prototype Dependency Calculus. ESOP 2002: 228-242 - [c40]Matthias Neubauer, Peter Thiemann:
Type classes with more higher-order polymorphism. ICFP 2002: 179-190 - [c39]Peter Thiemann:
WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms. PADL 2002: 192-208 - [c38]Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber:
Functional logic overloading. POPL 2002: 233-244 - [c37]Gilles Barthe, Peter Thiemann:
Preface. TIP@MPC 2002: 114-115 - [c36]Peter Thiemann:
Programmable Type Systems for Domain Specific Languages. WFLP 2002: 233-251 - [e3]Peter Thiemann:
Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), Portland, Oregon, USA, January 14-15, 2002. ACM 2002, ISBN 1-58113-455-X [contents] - 2001
- [c35]Peter Thiemann:
Enforcing Safety Properties Using Type Specialization. ESOP 2001: 62-76 - 2000
- [j6]Michael Sperber, Peter Thiemann:
Generation of LR parsers by partial evaluation. ACM Trans. Program. Lang. Syst. 22(2): 224-264 (2000) - [c34]Peter Thiemann:
Compiling Adaptive Programs by Partial Evaluation. CC 2000: 264-278 - [c33]Peter Thiemann:
An Algebraic Foundation for Adaptive Programming. FoSSaCS 2000: 314-328 - [c32]Peter Thiemann:
Modeling HTML in Haskell. PADL 2000: 263-277 - [c31]Simon Helsen, Peter Thiemann:
Fragmental Specialization. SAIG 2000: 51-71 - [c30]Simon Helsen, Peter Thiemann:
Syntactic Type Soundness for the Region Calculus. HOOTS 2000: 1-19
1990 – 1999
- 1999
- [j5]Peter Thiemann:
Combinators for Program Generation. J. Funct. Program. 9(5): 483-525 (1999) - [c29]Peter Thiemann:
Higher-Order Code Splicing. ESOP 1999: 243-257 - [c28]Peter Thiemann:
Interpreting Specialization in Type Theory. PEPM 1999: 30-43 - [e2]John Hatcliff, Torben Æ. Mogensen, Peter Thiemann:
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998. Lecture Notes in Computer Science 1706, Springer 1999, ISBN 3-540-66710-5 [contents] - 1998
- [j4]Olivier Danvy, Robert Glück, Peter Thiemann:
1998 Symposium on Partial Evaluation. ACM Comput. Surv. 30(3): 285-290 (1998) - [c27]Simon Helsen, Peter Thiemann:
Two Flavors of Offline Partial Evaluation. ASIAN 1998: 188-205 - [c26]Peter Thiemann:
A Generic Framework for Specialization (Abridged Version). ESOP 1998: 267-281 - [c25]Peter Thiemann:
Aspects of the PGG System: Specialization for Standard Scheme. Partial Evaluation 1998: 412-432 - [c24]Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew K. Wright:
Single and Loving It: Must-Alias Analysis for Higher-Order Languages. POPL 1998: 329-341 - [c23]Peter Thiemann:
Formalizing Resourve Allocation in a Compiler. Types in Compilation 1998: 178-193 - 1997
- [j3]Peter Thiemann:
Drawing Syntax Diagrams in Haskell. Softw. Pract. Exp. 27(8): 967-982 (1997) - [c22]Michael Sperber, Peter Thiemann, Herbert Klaeren:
Distributed partial evaluation. PASCO 1997: 80-87 - [c21]Peter Thiemann, Michael Sperber:
Program Generation with Class. GI Jahrestagung 1997: 582-591 - [c20]Dirk Dussart, John Hughes, Peter Thiemann:
Type Specialization for Imperative Languages. ICFP 1997: 204-216 - [c19]Michael Sperber, Peter Thiemann:
Two for the Price of One: Composing Partial Evaluation and Compilation. PLDI 1997: 215-225 - [c18]Julia L. Lawall, Peter Thiemann:
Sound Specialization in the Presence of Computational Effects. TACS 1997: 165-190 - [c17]Peter Thiemann:
A Unified Framework for Binding-Time Analysis. TAPSOFT 1997: 742-756 - [c16]Gilles Barthe, John Hatcliff, Peter Thiemann:
Monadic Type Systems: Pure Type Systems for Impure Settings. HOOTS 1997: 54-120 - [c15]Peter Thiemann:
Correctness of a region-based binding-time analysis. MFPS 1997: 365-390 - 1996
- [c14]Wei-Ngan Chin, Siau-Cheng Khoo, Peter Thiemann:
Synchronization Analyses for Multiple Recursion Parameters (Extended Abstract). Dagstuhl Seminar on Partial Evaluation 1996: 33-53 - [c13]Peter Thiemann, Michael Sperber:
Polyvariant Expansion and Compiler Generators. Ershov Memorial Conference 1996: 285-296 - [c12]Peter Thiemann:
Cogen in Six Lines. ICFP 1996: 180-189 - [c11]Michael Sperber, Peter Thiemann:
Realistic Compilation by Partial Evaluation. PLDI 1996: 206-214 - [c10]Peter Thiemann:
Implementing Memoization for Partial Evaluation. PLILP 1996: 198-212 - [c9]Michael Sperber, Robert Glück, Peter Thiemann:
Bootstrapping higher-order program transformers from interpreters. SAC 1996: 408-413 - [e1]Olivier Danvy, Robert Glück, Peter Thiemann:
Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers. Lecture Notes in Computer Science 1110, Springer 1996, ISBN 3-540-61580-6 [contents] - 1995
- [c8]Peter Thiemann:
Unboxed Values and Polymorphic Typing Revisited. FPCA 1995: 24-35 - [c7]Michael Sperber, Peter Thiemann:
The Essence of LR Parsing. PEPM 1995: 146-155 - 1994
- [b2]Peter Thiemann:
Grundlagen der funktionalen Programmierung. Leitfäden der Informatik, Teubner 1994, ISBN 978-3-519-02137-7, pp. 1-348 - [c6]Peter Thiemann:
Higher-Order Redundancy Elimination. PEPM 1994: 73-83 - 1993
- [j2]Peter Thiemann:
Optimizing Structural Recursion in Functional Programs. Comput. Lang. 19(2): 91-103 (1993) - [c5]Peter Thiemann:
An Overview of the SODA System. AMAST 1993: 185-192 - [c4]Peter Thiemann:
A Safety Analysis for Functional Programs. PEPM 1993: 133-144 - [c3]Peter Thiemann:
Avoiding Repeated Tests in Pattern Matching. WSA 1993: 141-152 - 1992
- [c2]Peter Thiemann:
Optimizing structural recursion in functional programs. ICCL 1992: 76-85 - [c1]Peter Thiemann:
LaToKi: A Language Toolkit for Bottom-Up Evaluation of Functional Programs. PLILP 1992: 481-482 - 1991
- [b1]Peter Thiemann:
Konzepte zur effizienten Implementierung strukturell rekursiver Programme. University of Tübingen, Germany, 1991, pp. 1-168 - 1990
- [j1]Herbert Klaeren, Peter Thiemann:
A Clean Modula-2 Interface to Abstract Data Types. Struct. Program. 11(2): 69-78 (1990)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
