Write a Blog >>

Registered user since Thu 7 Sep 2023

Name:Michael Kirkedal Thomsen
Affiliation:DIKU, University of Copenhagen

Contributions

Show activities from other conferences

POPL 2020-profile
View general profile