Registered user since Wed 20 Aug 2014

Name: Michael Vitousek

POPL 2017 Activities

• Author of Big Types in Little Runtime: Open World Soundness and Collaborative Blame for Gradual Type System within the POPL-track in POPL 2017
• Show activities from other conferences