Write a Blog >>

Registered user since Fri 18 Dec 2015

Name:Jesper Bengtson
Affiliation:IT University of Copenhagen

Contributions

POPL 2020 Actris: Session-Type Based Reasoning in Separation Logic
Show activities from other conferences

POPL 2020-profile
View general profile