Dependent Types for Safe and Secure Web Programming (IFL 2013 paper)http://edwinb.wordpress.com/2013/12/20/dependent-types-for-safe-and-secure-web-programming/ by cju • 13 years ago 2 0 13 years agoEDedwinb.wordpress.com