The VM Already Knew That: Leveraging Compile-Time Knowledge to Optimize Gradual Typing

Published in Proc. ACM Programming Languages, OOPSLA, 2017

Access paper here

Taking advantage of existing VM typechecks to minimize runtime typechecks, resulting in a more performant gradually typed JavaScript.

Recommended citation: Richards, Gregor, Ellen Arteca, and Alexi Turcotte. “The VM already knew that: Leveraging compile-time knowledge to optimize gradual typing.” Proceedings of the ACM on Programming Languages 1, no. OOPSLA (2017): 55.