Michael Vitousek - POPL 2017 (original) (raw)

POPL 2017 (series) / Michael Vitousek

• conf.research.org general profile
• ECOOP 2016 profile
• PLDI 2016 profile
• SPLASH 2014 profile

Registered user since Wed 20 Aug 2014

Name:Michael Vitousek

Contributions

2017

POPL

• Big Types in Little Runtime: Open World Soundness and Collaborative Blame for Gradual Type System

Show activities from other conferences

Share

POPL 2017-profile
View general profile