default search action

combined dblp search
author search
venue search
publication search

ask others

Peter Thiemann 0001

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with coauthor community group 1

> Home > Persons > Peter Thiemann 0001

Publications

2025
[i38]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2502-20070
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2502-20070
Bas van den Heuvel, Martin Sulzmann, Peter Thiemann:
Partial Orders for Precise and Efficient Dynamic Deadlock Prediction. CoRR abs/2502.20070 (2025)
2024
[j41]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/Saffrich0024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/Saffrich0024
Hannes Saffrich, Yuki Nishida, Peter Thiemann:
Law and Order for Typestate with Borrowing. Proc. ACM Program. Lang. 8(OOPSLA2): 1475-1503 (2024)
[c131]
- view
  authority control:
- export record
  dblp key:
  - conf/tyde/Saffrich0W24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tyde/Saffrich0W24
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2408-14031
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2408-14031
Hannes Saffrich, Yuki Nishida, Peter Thiemann:
Law and Order for Typestate with Borrowing. CoRR abs/2408.14031 (2024)
[i36]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/BalzerC0024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/BalzerC0024
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
[j39]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/MordidoS0V23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/MordidoS0V23
Andreia Mordido, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos:
Parameterized Algebraic Protocols. Proc. ACM Program. Lang. 7(PLDI): 1389-1413 (2023)
[c130]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/Saffrich023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/Saffrich023
Hannes Saffrich, Peter Thiemann:
Polymorphic Typestate for Session Types. PPDP 2023: 12:1-12:15
[d3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/SpadernaTMV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/SpadernaTMV23
Janek Spaderna, Peter Thiemann, Andreia Mordido, Vasco Thudichum Vasconcelos:
AlgST. Zenodo, 2023
[i34]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-03764
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-03764
Andreia Mordido, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos:
Parameterized Algebraic Protocols. CoRR abs/2304.03764 (2023)
[i33]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-09855
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-09855
Martin Sulzmann, Peter Thiemann:
Cross-thread critical sections and efficient dynamic race prediction methods. CoRR abs/2307.09855 (2023)
2022
[j37]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/AlmeidaMTV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/AlmeidaMTV22
Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos:
Polymorphic lambda calculus with context-free session types. Inf. Comput. 289(Part): 104948 (2022)
[j36]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/SaffrichT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/SaffrichT22
Hannes Saffrich, Peter Thiemann:
Relating Functional and Imperative Session Types. Log. Methods Comput. Sci. 18(3) (2022)
[i31]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-17335
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-17335
Hannes Saffrich, Peter Thiemann:
Polymorphic Typestate for Session Types. CoRR abs/2210.17335 (2022)
2021
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/SiekTW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/SiekTW21
Jeremy G. Siek, Peter Thiemann, Philip Wadler:
Blame and coercion: Together again for the first time. J. Funct. Program. 31: e20 (2021)
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/Saffrich021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/Saffrich021
Hannes Saffrich, Peter Thiemann:
Relating Functional and Imperative Session Types. COORDINATION 2021: 61-79
[d1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/SaffrichT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/SaffrichT21
Hannes Saffrich, Peter Thiemann:
Mechanized proofs for "Relating Functional and Imperative Session Types". Zenodo, 2021
[i30]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2106-06658
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-06658
Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos:
Polymorphic Context-free Session Types. CoRR abs/2106.06658 (2021)
2020
[j33]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/RadanneST20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/RadanneST20
Gabriel Radanne, Hannes Saffrich, Peter Thiemann:
Kindly bent to free us. Proc. ACM Program. Lang. 4(ICFP): 103:1-103:29 (2020)
[j32]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/ThiemannV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/ThiemannV20
Peter Thiemann, Vasco T. Vasconcelos:
Label-dependent session types. Proc. ACM Program. Lang. 4(POPL): 67:1-67:29 (2020)
[c124]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2004-01322
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-01322
Simon J. Gay, Peter Thiemann, Vasco T. Vasconcelos:
Duality of Session Types: The Final Cut. PLACES@ETAPS 2020: 23-33
[i27]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2010-08261
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-08261
Hannes Saffrich, Peter Thiemann:
Relating Functional and Imperative Session Types. CoRR abs/2010.08261 (2020)
2019
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/jcss/SulzmannT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/SulzmannT19
Martin Sulzmann, Peter Thiemann:
Derivatives and partial derivatives for regular shuffle expressions. J. Comput. Syst. Sci. 104: 323-341 (2019)
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/IgarashiTTVW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/IgarashiTTVW19
Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler:
Gradual session types. J. Funct. Program. 29: e17 (2019)
[i25]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1908-09681
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-09681
Gabriel Radanne, Peter Thiemann:
Kindly Bent to Free Us. CoRR abs/1908.09681 (2019)
[i24]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1911-00705
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-00705
Peter Thiemann, Vasco T. Vasconcelos:
Label-Dependent Session Types. CoRR abs/1911.00705 (2019)
2018
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/gpce/RadanneT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gpce/RadanneT18
Gabriel Radanne, Peter Thiemann:
Regenerate: a language generator for extended regular expressions. GPCE 2018: 202-214
[c121]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/SulzmannT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/SulzmannT18
Martin Sulzmann, Peter Thiemann:
LTL Semantic Tableaux and Alternating \omega ω -automata via Linear Factors. ICTAC 2018: 11-34
[i23]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1809-05649
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1809-05649
Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler:
Gradual Session Types. CoRR abs/1809.05649 (2018)
2017
[j29]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/IgarashiTVW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/IgarashiTVW17
Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, Philip Wadler:
Gradual session types. Proc. ACM Program. Lang. 1(ICFP): 38:1-38:28 (2017)
[c120]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/SulzmannT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/SulzmannT17
Martin Sulzmann, Peter Thiemann:
A Computational Interpretation of Context-Free Expressions. APLAS 2017: 387-405
[i22]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/0002T17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/0002T17
Matthias Keil, Peter Thiemann:
Static Contract Simplification. CoRR abs/1703.10331 (2017)
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1708-07366
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-07366
Martin Sulzmann, Peter Thiemann:
A Computational Interpretation of Context-Free Expressions. CoRR abs/1708.07366 (2017)
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1710-06678
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-06678
Martin Sulzmann, Peter Thiemann:
LTL Semantic Tableaux and Alternating ω-automata via Linear Factors. CoRR abs/1710.06678 (2017)
2016
[j28]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/darts/FennellT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/darts/FennellT16
Luminous Fennell, Peter Thiemann:
LJGS: Gradual Security Types for Object-Oriented Languages (Artifact). Dagstuhl Artifacts Ser. 2(1): 04:1-04:2 (2016)
[c117]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/StadtmullerST16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/StadtmullerST16
Kai Stadtmüller, Martin Sulzmann, Peter Thiemann:
Static Trace-Based Deadlock Analysis for Synchronous Mini-Go. APLAS 2016: 116-136
[c115]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/FennellT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/FennellT16
Luminous Fennell, Peter Thiemann:
LJGS: Gradual Security Types for Object-Oriented Languages. ECOOP 2016: 9:1-9:26
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/ThiemannV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/ThiemannV16
Peter Thiemann, Vasco T. Vasconcelos:
Context-free session types. ICFP 2016: 462-475
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/lata/SulzmannT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lata/SulzmannT16
Martin Sulzmann, Peter Thiemann:
Forkable Regular Expressions. LATA 2016: 194-206
[c112]
- view
  - electronic edition @ gi.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/se/0002GSGT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/0002GSGT16
Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann:
Transparent object proxies for javascript. Software Engineering 2016: 23-24
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/StadtmuellerST16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/StadtmuellerST16
Kai Stadtmüller, Martin Sulzmann, Peter Thiemann:
Static Trace-Based Deadlock Analysis for Synchronous Mini-Go. CoRR abs/1608.08330 (2016)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/0002T16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/0002T16
Matthias Keil, Peter Thiemann:
Transaction-based Sandboxing for JavaScript. CoRR abs/1612.00669 (2016)
2015
[j27]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/darts/KeilT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/darts/KeilT15
Matthias Keil, Peter Thiemann:
TreatJS: Higher-Order Contracts for JavaScript (Artifact). Dagstuhl Artifacts Ser. 1(1): 01:1-01:2 (2015)
[j26]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/darts/KeilGSGT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/darts/KeilGSGT15
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BartolettiCDDGP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BartolettiCDDGP15
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/KeilT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/KeilT15
Matthias Keil, Peter Thiemann:
TreatJS: Higher-Order Contracts for JavaScripts. ECOOP 2015: 28-51
[c108]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/KeilGSGT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/KeilGSGT15
Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann:
Transparent Object Proxies in JavaScript. ECOOP 2015: 149-173
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/KeilT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/KeilT15
Matthias Keil, Peter Thiemann:
Blame assignment for higher-order contracts with intersection and union. ICFP 2015: 375-386
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/lata/SulzmannT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lata/SulzmannT15
Martin Sulzmann, Peter Thiemann:
Derivatives for Regular Shuffle Expressions. LATA 2015: 275-286
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/lata/ThiemannS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lata/ThiemannS15
Peter Thiemann, Martin Sulzmann:
From \omega -Regular Expressions to Büchi Automata via Partial Derivatives. LATA 2015: 287-298
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/SiekTW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/SiekTW15
Jeremy G. Siek, Peter Thiemann, Philip Wadler:
Blame and coercion: together again for the first time. PLDI 2015: 425-435
[c102]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/se/FennellT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/FennellT15
Luminous Fennell, Peter Thiemann:
Gradual Typing for Annotated Type Systems. Software Engineering & Management 2015: 45-46
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/KeilGSGT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KeilGSGT15
Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann:
Transparent Object Proxies for JavaScript. CoRR abs/1504.08100 (2015)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/KeilT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KeilT15
Matthias Keil, Peter Thiemann:
TreatJS: Higher-Order Contracts for JavaScript. CoRR abs/1504.08110 (2015)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/BartolettiCDDGP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BartolettiCDDGP15
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/SulzmannT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SulzmannT15
Martin Sulzmann, Peter Thiemann:
Forkable Regular Expressions. CoRR abs/1510.07293 (2015)
2014
[c100]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/ThiemannF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/ThiemannF14
Peter Thiemann, Luminous Fennell:
Gradual Typing for Annotated Type Systems. ESOP 2014: 47-66
[c99]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/KeilT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/KeilT14
Matthias Keil, Peter Thiemann:
Symbolic Solving of Extended Regular Expression Inequalities. FSTTCS 2014: 175-186
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/GeffkenST14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/GeffkenST14
Manuel Geffken, Hannes Saffrich, Peter Thiemann:
Precise Interprocedural Side-Effect Analysis. ICTAC 2014: 188-205
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/AsaiFTZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/AsaiFTZ14
Kenichi Asai, Luminous Fennell, Peter Thiemann, Yang Zhang:
A Type Theoretic Specification of Partial Evaluation. PPDP 2014: 57-68
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/pppj/GeffkenT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pppj/GeffkenT14
Manuel Geffken, Peter Thiemann:
Side effect monitoring for Java using bytecode rewriting. PPPJ 2014: 87-98
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/KeilT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KeilT14
Matthias Keil, Peter Thiemann:
Symbolic Solving of Extended Regular Expression Inequalities. CoRR abs/1410.3227 (2014)
[i9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/HengleinJKT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/HengleinJKT14
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]
- view
  - electronic edition @ nii.ac.jp (open access)
  - details & citations
- export record
  dblp key:
  - journals/shonan-reports/IgarashiTW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/shonan-reports/IgarashiTW14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/FennellT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/FennellT13
Luminous Fennell, Peter Thiemann:
Gradual Security Typing with References. CSF 2013: 224-239
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/dls/KeilT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dls/KeilT13
Matthias Keil, Peter Thiemann:
Efficient dynamic access analysis using JavaScript proxies. DLS 2013: 49-60
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/DanvyTZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/DanvyTZ13
Olivier Danvy, Peter Thiemann, Ian Zerny:
Circularity and Lambda Abstraction: From Bird to Pettorossi and back. IFL 2013: 85
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/KeilT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/KeilT13
Matthias Keil, Peter Thiemann:
Type-based dependency analysis for javascript. PLAS 2013: 47-58
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1305-6721
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1305-6721
Matthias Keil, Peter Thiemann:
Type-based Dependency Analysis for JavaScript. CoRR abs/1305.6721 (2013)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/KeilT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KeilT13
Matthias Keil, Peter Thiemann:
Efficient Dynamic Access Analysis Using JavaScript Proxies. CoRR abs/1312.3184 (2013)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/KeilT13a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KeilT13a
Matthias Keil, Peter Thiemann:
On the Proxy Identity Crisis. CoRR abs/1312.5429 (2013)
2012
[j24]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jot/HeideggerT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/HeideggerT12
Phillip Heidegger, Peter Thiemann:
JSConTest: Contract-Driven Testing and Path Effect Inference for JavaScript. J. Object Technol. 11(1): 1-29 (2012)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/DegenTW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/DegenTW12
Markus Degen, Peter Thiemann, Stefan Wehr:
The interaction of contracts and laziness. High. Order Symb. Comput. 25(1): 85-125 (2012)
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/ThiemannC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/ThiemannC12
Peter Thiemann, Manuel M. T. Chakravarty:
Agda Meets Accelerate. IFL 2012: 174-189
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/lctrts/AslamBQUFTSH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lctrts/AslamBQUFTSH12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/DegenTW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/DegenTW12
Markus Degen, Peter Thiemann, Stefan Wehr:
The interaction of contracts and laziness. PEPM 2012: 97-106
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/HeideggerBT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/HeideggerBT12
Phillip Heidegger, Annette Bieniusa, Peter Thiemann:
Access permission contracts for scripting languages. POPL 2012: 111-122
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/FennellT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/FennellT12
Luminous Fennell, Peter Thiemann:
The Blame Theorem for a Linear Lambda Calculus with Type Dynamic. Trends in Functional Programming 2012: 37-52
[e8]
- view
  authority control:
- export record
  dblp key:
  - conf/flops/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/2012
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/2012
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ngc/WehrT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ngc/WehrT11
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]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/WehrT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/WehrT11
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/BieniusaT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/BieniusaT11
Annette Bieniusa, Peter Thiemann:
Proving Isolation Properties for Software Transactional Memory. ESOP 2011: 38-56
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/sensys/AslamFSTU11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sensys/AslamFSTU11
Faisal Aslam, Luminous Fennell, Christian Schindelhauer, Peter Thiemann, Zartash Afzal Uzmi:
Offline GC: trashing reachable objects on tiny devices. SenSys 2011: 302-315
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/HeideggerT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/HeideggerT11
Phillip Heidegger, Peter Thiemann:
A Heuristic Approach for Computing Effects. TOOLS (49) 2011: 147-162
2010
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/ThiemannN08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/ThiemannN08
Peter Thiemann, Henrik Nilsson:
Special Issue Dedicated to ICFP 2008 Editorial. J. Funct. Program. 20(5-6): 415-416 (2010)
[j19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/DegenTW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/DegenTW10
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)
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/dcoss/AslamFSTEHRU10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcoss/AslamFSTEHRU10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/HeideggerT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/HeideggerT10
Phillip Heidegger, Peter Thiemann:
Recency Types for Analyzing Scripting Languages. ECOOP 2010: 200-224
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/flops/ThiemannS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/ThiemannS10
Peter Thiemann, Martin Sulzmann:
Tag-Free Combinators for Binding-Time Polymorphic Program Generation. FLOPS 2010: 87-102
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/podc/BieniusaMT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/podc/BieniusaMT10
Annette Bieniusa, Arie Middelkoop, Peter Thiemann:
Brief announcement: actions in the twilight - concurrent irrevocable transactions and inconsistency repair. PODC 2010: 71-72
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/taicpart/HeideggerBT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/taicpart/HeideggerBT10
Phillip Heidegger, Annette Bieniusa, Peter Thiemann:
DOM Transactions for Testing JavaScript. TAIC PART 2010: 211-214
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/HeideggerT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/HeideggerT10
Phillip Heidegger, Peter Thiemann:
Contract-Driven Testing of JavaScript Code. TOOLS (48) 2010: 154-172
2009
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/WehrT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/WehrT09
Stefan Wehr, Peter Thiemann:
On the Decidability of Subtyping with Bounded Existential Types. APLAS 2009: 111-127
[c70]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cc/BieniusaT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cc/BieniusaT09
Annette Bieniusa, Peter Thiemann:
How to CPS Transform a Monad. CC 2009: 266-280
[c69]
- view
- export record
  dblp key:
  - conf/gi/DegenTW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gi/DegenTW09
Markus Degen, Peter Thiemann, Stefan Wehr:
True Lies: Lazy Contracts for Lazy Languages. GI Jahrestagung 2009: 2946-2959
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/gpce/WehrT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gpce/WehrT09
Stefan Wehr, Peter Thiemann:
JavaGI in the battlefield: practical experience with generalized interfaces. GPCE 2009: 65-74
2008
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/DanvyDLT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/DanvyDLT08
Olivier Danvy, R. Kent Dybvig, Julia Lawall, Peter Thiemann:
Editorial. High. Order Symb. Comput. 21(3): 237-238 (2008)
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/ThiemannW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/ThiemannW08
Peter Thiemann, Stefan Wehr:
Interface Types for Haskell. APLAS 2008: 256-272
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/csse/BieniusaTW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csse/BieniusaTW08
Annette Bieniusa, Peter Thiemann, Stefan Wehr:
The Relation of Version Control to Concurrent Programming. CSSE (3) 2008: 461-464
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/NeubauerT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/NeubauerT08
Matthias Neubauer, Peter Thiemann:
Placement Inference for a Client-Server Calculus. ICALP (2) 2008: 75-86
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/BieniusaDHTWGSCKK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/BieniusaDHTWGSCKK08
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/ThiemannN08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/ThiemannN08
Peter Thiemann, Matthias Neubauer:
Macros for context-free grammars. PPDP 2008: 120-130
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/2008
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/WehrLT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/WehrLT07
Stefan Wehr, Ralf Lämmel, Peter Thiemann:
JavaGI : Generalized Interfaces for Java. ECOOP 2007: 347-372
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/DegenTW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/DegenTW07
Markus Degen, Peter Thiemann, Stefan Wehr:
Tracking Linear and Affine Resources with Java(X). ECOOP 2007: 550-574
[e5]
- view
- export record
  dblp key:
  - conf/dagstuhl/2007P7051
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2007P7051
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]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/HullTW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/HullTW07
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]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/HullTW07a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/HullTW07a
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]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/HullTW07b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/HullTW07b
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]
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/DanvyMPT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/DanvyMPT06
Olivier Danvy, Oege de Moor, Julian A. Padget, Peter Thiemann:
Editorial. High. Order Symb. Comput. 19(1): 5 (2006)
[j15]
- view
- export record
  dblp key:
  - journals/stt/ThiemannW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stt/ThiemannW06
Peter Thiemann, Stefan Wehr:
Waitomo, eine interface-orientierte Programmiersprache. Softwaretechnik-Trends 26(2) (2006)
2005
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/NeubauerT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/NeubauerT05
Matthias Neubauer, Peter Thiemann:
From sequential programs to multi-tier applications by program transformation. POPL 2005: 221-232
2004
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/BartheDT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/BartheDT04
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]
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/ChinDT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/ChinDT04
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)
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/NeubauerT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/NeubauerT04
Matthias Neubauer, Peter Thiemann:
Protocol Specialization. APLAS 2004: 246-261
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/NeubauerT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/NeubauerT04
Matthias Neubauer, Peter Thiemann:
Haskell type browser. Haskell 2004: 92-93
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/NeubauerT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/NeubauerT04
Matthias Neubauer, Peter Thiemann:
An Implementation of Session Types. PADL 2004: 56-70
[c45]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ThiemannN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ThiemannN04
Peter Thiemann, Matthias Neubauer:
Parameterized LR Parsing. LDTA@ETAPS 2004: 115-132
2003
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/WadlerT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/WadlerT03
Philip Wadler, Peter Thiemann:
The marriage of effects and monads. ACM Trans. Comput. Log. 4(1): 1-32 (2003)
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/NeubauerT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/NeubauerT03
Matthias Neubauer, Peter Thiemann:
Discriminative sum types locate the source of type errors. ICFP 2003: 15-26
[e4]
- view
- export record
  dblp key:
  - conf/mpc/2002tip
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/2002tip
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
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/NeubauerT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/NeubauerT02
Matthias Neubauer, Peter Thiemann:
Type classes with more higher-order polymorphism. ICFP 2002: 179-190
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/NeubauerTGS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/NeubauerTGS02
Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber:
Functional logic overloading. POPL 2002: 233-244
[c37]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BartheT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BartheT02
Gilles Barthe, Peter Thiemann:
Preface. TIP@MPC 2002: 114-115
2000
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/SperberT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/SperberT00
Michael Sperber, Peter Thiemann:
Generation of LR parsers by partial evaluation. ACM Trans. Program. Lang. Syst. 22(2): 224-264 (2000)
1999
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/1998
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/1998
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]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/DanvyGT98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/DanvyGT98
Olivier Danvy, Robert Glück, Peter Thiemann:
1998 Symposium on Partial Evaluation. ACM Comput. Surv. 30(3): 285-290 (1998)
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/JagannathanTWW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/JagannathanTWW98
Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew K. Wright:
Single and Loving It: Must-Alias Analysis for Higher-Order Languages. POPL 1998: 329-341
1997
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/cap/SperberTK97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cap/SperberTK97
Michael Sperber, Peter Thiemann, Herbert Klaeren:
Distributed partial evaluation. PASCO 1997: 80-87
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/gi/ThiemannS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gi/ThiemannS97
Peter Thiemann, Michael Sperber:
Program Generation with Class. GI Jahrestagung 1997: 582-591
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/DussartHT97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/DussartHT97
Dirk Dussart, John Hughes, Peter Thiemann:
Type Specialization for Imperative Languages. ICFP 1997: 204-216
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/SperberT97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/SperberT97
Michael Sperber, Peter Thiemann:
Two for the Price of One: Composing Partial Evaluation and Compilation. PLDI 1997: 215-225
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/tacs/LawallT97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/LawallT97
Julia L. Lawall, Peter Thiemann:
Sound Specialization in the Presence of Computational Effects. TACS 1997: 165-190
[c16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BartheHT97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BartheHT97
Gilles Barthe, John Hatcliff, Peter Thiemann:
Monadic Type Systems: Pure Type Systems for Impure Settings. HOOTS 1997: 54-120
1996
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/ChinKT96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/ChinKT96
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/ThiemannS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/ThiemannS96
Peter Thiemann, Michael Sperber:
Polyvariant Expansion and Compiler Generators. Ershov Memorial Conference 1996: 285-296
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/SperberT96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/SperberT96
Michael Sperber, Peter Thiemann:
Realistic Compilation by Partial Evaluation. PLDI 1996: 206-214
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/SperberGT96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/SperberGT96
Michael Sperber, Robert Glück, Peter Thiemann:
Bootstrapping higher-order program transformers from interpreters. SAC 1996: 408-413
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/1996pe
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/1996pe
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
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/SperberT95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/SperberT95
Michael Sperber, Peter Thiemann:
The Essence of LR Parsing. PEPM 1995: 146-155
1990
[j1]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/stp/KlaerenT90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stp/KlaerenT90
Herbert Klaeren, Peter Thiemann:
A Clean Modula-2 Interface to Abstract Data Types. Struct. Program. 11(2): 69-78 (1990)

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.