Type inference for JavaScript. - Christopher Lyon Anderson (2006)