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