Peter Thiemann
Albert-Ludwigs-Universität Freiburg
H-index: 34
Europe-Germany
Top articles of Peter Thiemann
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Intrinsically Typed Sessions With Callbacks | arXiv preprint arXiv:2303.01278 | Peter Thiemann | 2023/3/2 |
Towards Tagless Interpretation of Stratified System F | TyDe | Peter Thiemann Marius Weidner | 2023 |
Polymorphic Typestate for Session Types | Hannes Saffrich Peter Thiemann | 2023/10/22 | |
Intrinsically Typed Sessions with Callbacks (Functional Pearl) | Proceedings of the ACM on Programming Languages | Peter Thiemann | 2023/8/30 |
Cross-thread critical sections and efficient dynamic race prediction methods | arXiv preprint arXiv:2307.09855 | Martin Sulzmann Peter Thiemann | 2023/7/19 |
Parameterized Algebraic Protocols | Proceedings of the ACM on Programming Languages | Andreia Mordido Janek Spaderna Peter Thiemann Vasco T Vasconcelos | 2023/6/6 |
Informatik I: Einführung in die Programmierung | Peter Thiemann | 2022/12/6 | |
Polymorphic lambda calculus with context-free session types | Information and Computation | Bernardo Almeida Andreia Mordido Peter Thiemann Vasco T Vasconcelos | 2022/11/1 |
Relating functional and imperative session types | Logical Methods in Computer Science | Hannes Saffrich Peter Thiemann | 2022/9/15 |
Global type inference for featherweight generic Java | arXiv preprint arXiv:2205.08768 | Andreas Stadelmeier Martin Plümicke Peter Thiemann | 2022/5/18 |
Label dependent lambda calculus and gradual typing | Proceedings of the ACM on Programming Languages | Weili Fu Fabian Krause Peter Thiemann | 2021/10/15 |
A typed programmatic interface to contracts on the blockchain | Thi Thu Ha Doan Peter Thiemann | 2021/10/12 | |
Generation of typescript declaration files from javascript code | Fernando Cristiani Peter Thiemann | 2021/9/29 | |
Towards Contract Modules for the Tezos Blockchain (Short Paper) | Thi Thu Ha Doan Peter Thiemann | 2021 | |
Duality of session types: The final cut | arXiv preprint arXiv:2004.01322 | Simon J Gay Peter Thiemann Vasco T Vasconcelos | 2020/4/3 |
Kindly bent to free us | Proceedings of the ACM on Programming Languages | Gabriel Radanne Hannes Saffrich Peter Thiemann | 2020/8/2 |