The VM already knew that: leveraging compile-time knowledge to optimize gradual typing

Gregor Richards, Ellen Arteca, Alexi Turcotte. The VM already knew that: leveraging compile-time knowledge to optimize gradual typing. Proceedings of the ACM on Programming Languages, 1(OOPSLA), 2017. [doi]

Abstract

Abstract is missing.