Jonas Kastberg Hinrichsen

According to our database¹, Jonas Kastberg Hinrichsen authored at least 3 papers between 2020 and 2021.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Other

2021

Machine-checked semantic session typing.

[BibT_eX]

[DOI]

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

2020

Actris: session-type based reasoning in separation logic.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic.

[BibT_eX]

[DOI]

CoRR, 2020