Dependent Types for JavaScript, radioactive.js, Minimail | html weekly | Scoop.it
Dependent Types for JavaScript Dependent Types for JavaScript published on Lambda the Ultimate is about Dependent JavaScript (DJS), a statically-typed dialect of JavaScript by Ravi Chugh, David Herman, and Ranjit Jhala (pdf): DJS supports the...

Via Ex FromTheLeft