• Sign in
  • Sign up
conf.researchr.org / Jesper Bengtson
  • POPL 2020 profile
  • POPL 2021 profile
  • SPLASH 2023 profile
No Photo

Registered user since Fri 18 Dec 2015

Name:Jesper Bengtson

Contributions

2023

ST

  • Author of Mechanising Multiparty Session Types: A Sound and Complete Projection within the ST30-track

2021

CPP

  • Author of Machine-Checked Semantic Session Typing within the CPP 2021-track

CoqPL

  • Committee Member in Program Committee within the CoqPL-track

2020

POPL

  • Author of Actris: Session-Type Based Reasoning in Separation Logic within the Research Papers-track
Share
xMon 19 May 14:59
using conf.researchr.org (v1.69.0)
Support page
Sign Up