Dependent types for JavaScript

Ravi Chugh, David Herman, Ranjit Jhala. Dependent types for JavaScript. In Gary T. Leavens, Matthew B. Dwyer, editors, Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2012, part of SPLASH 2012, Tucson, AZ, USA, October 21-25, 2012. pages 587-606, ACM, 2012. [doi]

Authors

Ravi Chugh

This author has not been identified. Look up 'Ravi Chugh' in Google

David Herman

Identified as David Herman

Ranjit Jhala

This author has not been identified. Look up 'Ranjit Jhala' in Google