Registered user since Tue 13 Sep 2016
Name:Matthew J. Parkinson
Country:United Kingdom
Affiliation:Microsoft Research, UK
Research interests:Verification, Runtimes, Compilers
Contributions
POPL 2019-profile
View general profile
View general profile
Registered user since Tue 13 Sep 2016
Contributions