• Sign in
  • Sign up
conf.researchr.org / Jesper Bengtson
  • POPL 2020 profile
  • POPL 2021 profile

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

Share
xTue 13 Apr 01:01
using conf.researchr.org (v1.44.3)
Support page
Sign Up