Christopher Anderson Paola Giannini Sophia Drossopoulou Towards Type Inference for JavaScript. 428-452 2005 conf/ecoop/2005 ECOOP http://dx.doi.org/10.1007/11531142_19 db/conf/ecoop/ecoop2005.html#AndersonGD05