Systems Programming with Dependent Types at DTP11 Posted by jonutzz on Monday August 29, 2011 @12:44AM from the edwinb.wordpress.com dept. http://edwinb.wordpress.com/2011/08/27/systems-programming-with-dependent-types-at-dtp11/ ( no comments | 2 points | on HN )
There are no comments yet.