Dependent Types for Safe and Secure Web Programming (IFL 2013 paper)edwinb.wordpress.com2 points·cju··0 commentsOpen articleSaveView on HN