• Sign in
  • Sign up
conf.researchr.org / Michael Vitousek
  • 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
xThu 5 Oct 01:13
using conf.researchr.org (v1.61.3)
Support page
Sign Up