Registered user since Wed 20 Aug 2014
Name: Michael Vitousek
Contributions
POPL 2017 | Author of Big Types in Little Runtime: Open World Soundness and Collaborative Blame for Gradual Type System within the POPL-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2017-profile
View general profile
View general profile