conf.researchr.org / Michael M. Vitousek
Not registered as user yet
Name: Michael M. Vitousek
Affiliation: Indiana University
Contributions
| DLS 2019 | Author of Optimizing and Evaluating Transient Gradual Typing within the DLS 2019-track |
| ESOP 2015 | Author of Monotonic References for Efficient Gradual Typing within the ESOP-track |