Sound gradual typing: only mostly dead

Spenser Bauman, Carl Friedrich Bolz-Tereick, Jeremy G. Siek, Sam Tobin-Hochstadt. Sound gradual typing: only mostly dead. Proceedings of the ACM on Programming Languages, 1(OOPSLA), 2017. [doi]

Abstract

Abstract is missing.