Write a Blog >>

Registered user since Thu 22 Oct 2015

Name:Luca Cardelli
Affiliation:Microsoft Research and University of Oxford

Contributions

Show activities from other conferences

POPL 2016-profile
View general profile