Jonas Kastberg Hinrichsen
Jonas Kastberg Hinrichsen
Verified email at itu.dk - Homepage
Title
Cited by
Cited by
Year
Actris: Session-type based reasoning in separation logic
JK Hinrichsen, J Bengtson, R Krebbers
Proceedings of the ACM on Programming Languages 4 (POPL), 1-30, 2019
302019
Machine-checked semantic session typing
JK Hinrichsen, D Louwrink, R Krebbers, J Bengtson
Proceedings of the 10th ACM SIGPLAN International Conference on Certified …, 2021
5*2021
Sessions and Separation
JK Hinrichsen
2021
The system can't perform the operation now. Try again later.
Articles 1–3