conf.researchr.org / Michael Vitousek

Registered user since Wed 20 Aug 2014

Name: Michael Vitousek

Contributions

STOP 2016Author of From Optional to Gradual Typing via Transient Checks within the STOP-track
POPL 2017Author of Big Types in Little Runtime: Open World Soundness and Collaborative Blame for Gradual Type System within the POPL-track
DLSPresenter of Design and Evaluation of Gradual Typing for Python within the DLS-track