Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Michael Vitousek
conf.researchr.org general profile
ECOOP 2016 profile
PLDI 2016 profile
POPL 2017 profile
SPLASH 2014 profile
Registered user since Wed 20 Aug 2014
Name:
Michael Vitousek
Contributions
2017
POPL
Author of Big Types in Little Runtime: Open World Soundness and Collaborative Blame for Gradual Type System within the POPL-track
2016
STOP
Author of From Optional to Gradual Typing via Transient Checks within the STOP-track
2014
DLS
Presenter of Design and Evaluation of Gradual Typing for Python within the DLS-track
Share
x
Fri 11 Oct 23:02