magnusjonsson
- Karma
- 137
- Created
- May 24, 2009 (17y ago)
- Submissions
- 0
- How the Ocaml type checker works | LTU (lambda-the-ultimate.org)
- Cool Code by Kevlin Henney - YOW 2012 (video) (yow.eventer.com)
Direct video link: http://videos.eventer.com/videos/1181/20121130213135_dual.mp4
- Minimalism: Practical Guide to Writing Less Code (2002) [pdf] (two-sdg.demon.co.uk)
- Suckless Philosophy and Manifesto (suckless.org)
- The flow language manifesto (flowlang.net)
- The Astrée Static Analyzer (astree.ens.fr)