Michael M. Vitousek

According to our database, Michael M. Vitousek authored at least 8 papers between 2012 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

Optimizing and evaluating transient gradual typing.

Michael M. Vitousek, Jeremy G. Siek, Avik Chaudhuri

Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages, 2019

2017

Big types in little runtime: open-world soundness and collaborative blame for gradual type systems.

Michael M. Vitousek, Cameron Swords, Jeremy G. Siek

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016

Gradual Typing in an Open World.

Michael M. Vitousek, Jeremy G. Siek

CoRR, 2016

2015

Refined Criteria for Gradual Typing.

Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, John Tang Boyland

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Monotonic References for Efficient Gradual Typing.

Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, Sam Tobin-Hochstadt, Ronald Garcia

Proceedings of the Programming Languages and Systems, 2015

2014

Design and evaluation of gradual typing for python.

Michael M. Vitousek, Andrew M. Kent, Jeremy G. Siek, Jim Baker

Proceedings of the DLS'14, 2014

2013

Monotonic References for Gradual Typing.

Jeremy G. Siek, Michael M. Vitousek

CoRR, 2013

2012

Effects for Funargs

Jeremy G. Siek, Michael M. Vitousek, Jonathan D. Turner

CoRR, 2012