Hannes Saffrich

According to our database, Hannes Saffrich authored at least 4 papers between 2014 and 2023.

Collaborative distances:

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

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

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