Systems Programming with Dependent Types at DTP11http://edwinb.wordpress.com/2011/08/27/systems-programming-with-dependent-types-at-dtp11/ by jonutzz • 15 years ago 2 0 15 years agoEDedwinb.wordpress.com