Towards an amortized type system for JavaScript

Daniel Franzen, David Aspinall. Towards an amortized type system for JavaScript. In Temur Kutsia, Andrei Voronkov, editors, 6th International Symposium on Symbolic Computation in Software Science, SCSS 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014. Volume 30 of EPiC Series, pages 12-26, EasyChair, 2014. [doi]

Abstract

Abstract is missing.