Dependent Types for Safe and Secure Web Programming (IFL 2013 paper) (edwinb.wordpress.com) 2 points by cju 12y ago ↗ HN
0 comments
[ 4.8 ms ] story [ 12.6 ms ] threadNo comments yet.