Dependent Types for JavaScript(infoq.com)1 points·by finishingmove·vor 13 Jahren·0 commentsinfoq.comDependent Types for JavaScripthttp://www.infoq.com/presentations/Type-System-JavaScript0 commentsPost comment—