Dependent types for JavaScript.

Ravi Chugh, David Herman, Ranjit Jhala

Browse the full OOPSLA paper archive.