Type inference for static compilation of JavaScript

Satish Chandra 0001, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi. Type inference for static compilation of JavaScript. In Eelco Visser, Yannis Smaragdakis, editors, Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, part of SPLASH 2016, Amsterdam, The Netherlands, October 30 - November 4, 2016. pages 410-429, ACM, 2016. [doi]

@inproceedings{0001GJSSTC16,
  title = {Type inference for static compilation of JavaScript},
  author = {Satish Chandra 0001 and Colin S. Gordon and Jean-Baptiste Jeannin and Cole Schlesinger and Manu Sridharan and Frank Tip and Young-Il Choi},
  year = {2016},
  doi = {10.1145/2983990.2984017},
  url = {http://doi.acm.org/10.1145/2983990.2984017},
  researchr = {https://researchr.org/publication/0001GJSSTC16},
  cites = {0},
  citedby = {0},
  pages = {410-429},
  booktitle = {Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, part of SPLASH 2016, Amsterdam, The Netherlands, October 30 - November 4, 2016},
  editor = {Eelco Visser and Yannis Smaragdakis},
  publisher = {ACM},
  isbn = {978-1-4503-4444-9},
}