Hannes Saffrich
Orcid: 0009-0004-7014-754X
According to our database1,
Hannes Saffrich
authored at least 8 papers
between 2014 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
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
Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024
2023
Proceedings of the International Symposium on Principles and Practice of Declarative Programming, 2023
2022
2021
Dataset, December, 2021
2020
2014
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014