Hannes Saffrich

According to our database, Hannes Saffrich authored at least 8 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Law and Order for Typestate with Borrowing.

Hannes Saffrich, Yuki Nishida, Peter Thiemann

Proc. ACM Program. Lang., 2024

Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma.

Hannes Saffrich, Peter Thiemann, Marius Weidner

Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development, 2024

Abstractions for Multi-Sorted Substitutions.

Hannes Saffrich

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

2023

Polymorphic Typestate for Session Types.

Hannes Saffrich, Peter Thiemann

Proceedings of the International Symposium on Principles and Practice of Declarative Programming, 2023

2022

Relating Functional and Imperative Session Types.

Hannes Saffrich, Peter Thiemann

Log. Methods Comput. Sci., 2022

2021

Mechanized proofs for "Relating Functional and Imperative Session Types".

Hannes Saffrich, Peter Thiemann

Dataset, December, 2021

2020

Kindly bent to free us.

Gabriel Radanne, Hannes Saffrich, Peter Thiemann

Proc. ACM Program. Lang., 2020

2014

Precise Interprocedural Side-Effect Analysis.

Manuel Geffken, Hannes Saffrich, Peter Thiemann

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014