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