ESOP 2005Towards a Type System for Analyzing JavaScript ProgramsPeter ThiemannPDFDOI 10.1007/978-3-540-31987-0_28dblpBibTeXAbstract elided by the publisher.