Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi: Type inference for static compilation of JavaScript. OOPSLA 2016: 410-429