Hannah Gommerstadt

According to our database¹, Hannah Gommerstadt authored at least 3 papers between 2016 and 2022.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2022

Session-typed concurrent contracts.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2022

2021

Session-Typed Concurrent Contracts.

[BibT_eX]

[DOI]

PhD thesis, 2021

2016

Monitors and blame assignment for higher-order session types.

[BibT_eX]

[DOI]

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016