Effects for Funargs - Jeremy G. Siek; Michael M. Vitousek; Jonathan D. Turner (CoRR, 2012)

Monotonic References for Gradual Typing. - Jeremy G. Siek; Michael M. Vitousek (CoRR, 2013)

Design and evaluation of gradual typing for python. - Michael M. Vitousek; Andrew M. Kent; Jeremy G. Siek; Jim Baker (DLS, 2014)

Monotonic References for Efficient Gradual Typing. - Jeremy G. Siek; Michael M. Vitousek; Matteo Cimini; Sam Tobin-Hochstadt; Ronald Garcia (ESOP, 2015)

Refined Criteria for Gradual Typing. - Jeremy G. Siek; Michael M. Vitousek; Matteo Cimini; John Tang Boyland (SNAPL, 2015)

Gradual Typing in an Open World. - Michael M. Vitousek; Jeremy G. Siek (CoRR, 2016)

Big types in little runtime: open-world soundness and collaborative blame for gradual type systems. - Michael M. Vitousek; Cameron Swords; Jeremy G. Siek (POPL, 2017)

Optimizing and evaluating transient gradual typing. - Michael M. Vitousek; Jeremy G. Siek; Avik Chaudhuri (DLS, 2019)