| Kindly bent to free us G Radanne, H Saffrich, P Thiemann Proceedings of the ACM on Programming Languages 4 (ICFP), 1-29, 2020 | 9 | 2020 |
| Precise interprocedural side-effect analysis M Geffken, H Saffrich, P Thiemann International Colloquium on Theoretical Aspects of Computing, 188-205, 2014 | 9 | 2014 |
| Relating functional and imperative session types H Saffrich, P Thiemann Logical Methods in Computer Science 18, 2022 | 3 | 2022 |
| Polymorphic Typestate for Session Types H Saffrich, P Thiemann Proceedings of the 25th International Symposium on Principles and Practice …, 2023 | 1 | 2023 |
| Law and Order for Typestate with Borrowing H Saffrich, Y Nishida, P Thiemann Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 1475-1503, 2024 | | 2024 |
| Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma H Saffrich, P Thiemann, M Weidner Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven …, 2024 | | 2024 |
| Abstractions for Multi-Sorted Substitutions H Saffrich 15th International Conference on Interactive Theorem Proving (ITP 2024), 2024 | | 2024 |
| Artifact for" Gradual Session Types", Appearing in ACM SIGPLAN International Conference on Functional Programming A Igarashi, P Thiemann, P Wadler, V Vasconcelos, H Saffrich Universität, 2017 | | 2017 |
