Systems Programming with Dependent Types at DTP11 #1 Post by jonutzz » Mon, Aug 29, 2011, 4:44 AM UTC Systems Programming with Dependent Types at DTP11edwinb.wordpress.com