Jesper Bengtson -

Registered user since Fri 18 Dec 2015

Name:Jesper Bengtson

Contributions

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