The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript
Dependent types for JavaScript