Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, Matthias Felleisen
Is sound gradual typing dead?
POPL, 2016.
@inproceedings{POPL-2016-TakikawaFGNVF,
author = "Asumu Takikawa and Daniel Feltey and Ben Greenman and Max S. New and Jan Vitek and Matthias Felleisen",
booktitle = "{Proceedings of the 43rd Symposium on Principles of Programming Languages}",
doi = "10.1145/2837614.2837630",
isbn = "978-1-4503-3549-2",
pages = "456--468",
publisher = "{ACM}",
title = "{Is sound gradual typing dead?}",
year = 2016,
}