Dependent types for JavaScript (2012)

by R Chugh, D Herman, R Jhala
Venue:In Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA ’12