Registered user since Sat 9 Jul 2016
Name:Max S. New
Affiliation:Northeastern University
Personal website: http://maxsnew.github.io
Research interests:Gradual Typing, Correct Compilation, Type Theory, Category Theory
Contributions
2017
POPL 2017-profile
View general profile
View general profile