"Fast and precise hybrid type inference for JavaScript."

Brian Hackett, Shu-yu Guo (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics