Dependent types for JavaScript
Published in ACM SIGPLAN Notices • Oct 19, 2012
Authors:,,
Ravi Chugh
David Herman
Ranjit Jhala
Abstract
We present Dependent JavaScript (DJS), a statically typed dialect of the imperative, object-oriented, dynamic language. DJS supports the particularly challenging features such as run-time type-tests, higher-order functions, extensible objects, prototype inheritance, and arrays through a combination ...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!