Hannah Gommerstadt

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2021

Session-Typed Concurrent Contracts.

[BibT_eX]

[DOI]

PhD thesis, 2021

2018

Session-Typed Concurrent Contracts.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2018

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