Michael M. Vitousek

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 6

Top Topics

Computer Based Instruction

Incomplete Information

Selection Criteria

Top Venues

Publications

Michael M. Vitousek, Jeremy G. Siek, Avik Chaudhuri
Optimizing and Evaluating Transient Gradual Typing. CoRR (2019)
Michael M. Vitousek, Jeremy G. Siek, Avik Chaudhuri
Optimizing and evaluating transient gradual typing. DLS (2019)
Michael M. Vitousek, Cameron Swords, Jeremy G. Siek
Big types in little runtime: open-world soundness and collaborative blame for gradual type systems. POPL (2017)
Michael M. Vitousek, Jeremy G. Siek
Gradual Typing in an Open World. CoRR (2016)
Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, John Tang Boyland
Refined Criteria for Gradual Typing. SNAPL (2015)
Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, Sam Tobin-Hochstadt, Ronald Garcia
Monotonic References for Efficient Gradual Typing. ESOP (2015)
Michael M. Vitousek, Andrew M. Kent, Jeremy G. Siek, Jim Baker
Design and evaluation of gradual typing for python. DLS (2014)
Jeremy G. Siek, Michael M. Vitousek
Monotonic References for Gradual Typing. CoRR (2013)
Jeremy G. Siek, Michael M. Vitousek, Jonathan D. Turner
Effects for Funargs CoRR (2012)