86 citations · 347 across the 12 of their papers we have counts for
Showing 2011 · cs.PLShow all
2 papers · 2 filters
cs.PL2011
Dependent Types for JavaScript
Ravi Chugh, David Herman, Ranjit Jhala
We present Dependent JavaScript (DJS), a statically-typed dialect of the imperative, object-oriented, dynamic language. DJS supports the particularly challenging features such as r…
cs.PL2011★ 1 cited
Nested Refinements for Dynamic Languages
Ravi Chugh, Patrick M. Rondon, Ranjit Jhala
Programs written in dynamic languages make heavy use of features --- run-time type tests, value-indexed dictionaries, polymorphism, and higher-order functions --- that are beyond t…