Hannes Saffrich

Orcid: 0009-0004-7014-754X

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Law and Order for Typestate with Borrowing.
Proc. ACM Program. Lang., 2024

Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma.
Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development, 2024

Abstractions for Multi-Sorted Substitutions.
Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

2023
Polymorphic Typestate for Session Types.
Proceedings of the International Symposium on Principles and Practice of Declarative Programming, 2023

2022
Relating Functional and Imperative Session Types.
Log. Methods Comput. Sci., 2022

2021
Mechanized proofs for "Relating Functional and Imperative Session Types".
Dataset, December, 2021

2020
Kindly bent to free us.
Proc. ACM Program. Lang., 2020

2014
Precise Interprocedural Side-Effect Analysis.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014


  Loading...