Fast and precise type checking for JavaScript

Avik Chaudhuri, Panagiotis Vekris, Sam Goldman, Marshall Roch, Gabriel Levi. Fast and precise type checking for JavaScript. Proceedings of the ACM on Programming Languages, 1(OOPSLA), 2017. [doi]

Abstract

Abstract is missing.