Dependent Types for JavaScripthttp://www.infoq.com/presentations/Type-System-JavaScript by finishingmove • 13 years ago 1 0 13 years agoINinfoq.com