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]

@article{ChaudhuriVGRL17,
  title = {Fast and precise type checking for JavaScript},
  author = {Avik Chaudhuri and Panagiotis Vekris and Sam Goldman and Marshall Roch and Gabriel Levi},
  year = {2017},
  doi = {10.1145/3133872},
  url = {http://doi.acm.org/10.1145/3133872},
  researchr = {https://researchr.org/publication/ChaudhuriVGRL17},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {1},
  number = {OOPSLA},
}