Michael M. Vitousek, Cameron Swords, Jeremy G. Siek. Big types in little runtime: open-world soundness and collaborative blame for gradual type systems. In Giuseppe Castagna, Andrew D. Gordon, editors, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017. pages 762-774, ACM, 2017. [doi]
@inproceedings{VitousekSS17,
title = {Big types in little runtime: open-world soundness and collaborative blame for gradual type systems},
author = { Michael M. Vitousek and Cameron Swords and Jeremy G. Siek},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3009849},
researchr = {https://researchr.org/publication/VitousekSS17},
cites = {0},
citedby = {0},
pages = {762-774},
booktitle = {Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017},
editor = {Giuseppe Castagna and Andrew D. Gordon},
publisher = {ACM},
isbn = {978-1-4503-4660-3},
}