Write a Blog >>

Registered user since Tue 1 Dec 2020

Name: Koen Jacobs

Affiliation: KU Leuven

Contributions

WGT 2020 Fully Abstract from Static to Gradual
Show activities from other conferences

POPL 2020-profile
View general profile