Hannes Saffrich

12 papers B 1C 3Journal 7Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Borrowing from Session Types.
Proc. ACM Program. Lang.
Hannes Saffrich, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos
2024 B conf
Abstractions for Multi-Sorted Substitutions.
ITP
Hannes Saffrich
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
2023 C conf
Polymorphic Typestate for Session Types.
PPDP
Hannes Saffrich, Peter Thiemann
2022 J jnl
Polymorphic Typestate for Session Types.
CoRR
Hannes Saffrich, Peter Thiemann
2022 J jnl
Relating Functional and Imperative Session Types.
Log. Methods Comput. Sci.
Hannes Saffrich, Peter Thiemann
2021 C conf
Relating Functional and Imperative Session Types.
COORDINATION
Hannes Saffrich, Peter Thiemann
2020 J jnl
Kindly bent to free us.
Proc. ACM Program. Lang.
Gabriel Radanne, Hannes Saffrich, Peter Thiemann
2020 J jnl
Relating Functional and Imperative Session Types.
CoRR
Hannes Saffrich, Peter Thiemann
2014 C conf
Precise Interprocedural Side-Effect Analysis.
ICTAC
Manuel Geffken, Hannes Saffrich, Peter Thiemann