conf.researchr.org / Jesper Bengtson
Registered user since Fri 18 Dec 2015
Name: Jesper Bengtson
Contributions
| POPL 2020 | Author of Actris: Session-Type Based Reasoning in Separation Logic within the Research Papers-track |
Registered user since Fri 18 Dec 2015
Name: Jesper Bengtson
Contributions
| POPL 2020 | Author of Actris: Session-Type Based Reasoning in Separation Logic within the Research Papers-track |