Dependent Types for JavaScript

Ravi Chugh Ranjit Jhala

Published in: CoRR (2011)

Keyphrases

open source
website
database
web applications
web services
web browser
computer vision
decision trees
computer systems