Write a Blog >>

Registered user since Thu 22 Oct 2015

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

Contributions

POPL 2016 Symbolic Computation of Differential Equivalences
Show activities from other conferences

POPL 2016-profile
View general profile