Dependent types for JavaScript.

Ravi Chugh David Herman Ranjit Jhala

Published in: OOPSLA (2012)

Keyphrases

neural network
website
digital libraries
open source
data sets
search engine
decision making
three dimensional