Statistics
Publications
4
Citations
339
H-Index
4
Active since
2014
Affiliations
Indiana University Bloomington(Current)
Michael M. Vitousek is an author at Indiana University Bloomington specializing in syntax, type checking, and computing.
Publications per year
2014–2016
4
4
Refined Criteria for Gradual Typing
Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 119 citations · Full text
Design and evaluation of gradual typing for python
Michael M. Vitousek, Andrew M. Kent, Jeremy G. Siek et al. · ACM SIGPLAN Notices · 2014 · 93 citations
Design and evaluation of gradual typing for python
Michael M. Vitousek, Andrew M. Kent, Jeremy G. Siek et al. · 2014 · 85 citations
1–4 of 4