Hannes Saffrich

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 7

Top Topics

Johnson Lindenstrauss

Top Venues

Proc. ACM Program. Lang.

Log. Methods Comput. Sci.

Publications

Hannes Saffrich, Peter Thiemann, Marius Weidner
Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma. TyDe@ICFP (2024)
Hannes Saffrich, Peter Thiemann
Polymorphic Typestate for Session Types. PPDP (2023)
Hannes Saffrich, Peter Thiemann
Relating Functional and Imperative Session Types. Log. Methods Comput. Sci. 18 (3) (2022)
Hannes Saffrich, Peter Thiemann
Polymorphic Typestate for Session Types. CoRR (2022)
Hannes Saffrich, Peter Thiemann
Relating Functional and Imperative Session Types. COORDINATION (2021)
Hannes Saffrich, Peter Thiemann
Relating Functional and Imperative Session Types. CoRR (2020)
Gabriel Radanne, Hannes Saffrich, Peter Thiemann
Kindly bent to free us. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Manuel Geffken, Hannes Saffrich, Peter Thiemann
Precise Interprocedural Side-Effect Analysis. ICTAC (2014)