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.
@inproceedings{POPL-2017-VitousekSS,
author = "Michael M. Vitousek and Cameron Swords and Jeremy G. Siek",
booktitle = "{Proceedings of the 44th Symposium on Principles of Programming Languages}",
isbn = "978-1-4503-4660-3",
pages = "762--774",
publisher = "{ACM}",
title = "{Big types in little runtime: open-world soundness and collaborative blame for gradual type systems}",
year = 2017,
}