The VM Already Knew That: Leveraging Compile-Time Knowledge to Optimize Gradual Typing
Published in Proc. ACM Programming Languages, OOPSLA, 2017
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.