Hacker News new | ask | show | jobs
Systems Programming with Dependent Types at DTP11 (edwinb.wordpress.com)
2 points by jonutzz 5413 days ago