conf.researchr.org / Jesper Bengtson

Registered user since Fri 18 Dec 2015

Name: Jesper Bengtson

Contributions

CoqPL 2021 Committee Member in Program Committee within the CoqPL-track
CPP 2021 Author of Machine-Checked Semantic Session Typing within the CPP 2021-track
POPL 2020 Author of Actris: Session-Type Based Reasoning in Separation Logic within the Research Papers-track