Jun
17th
Tue
17th
Types Considered Harmful
Interesting presentation by Benjamin C. Pierce. Contracts are quite fashionable now. Worthy commentaries at Lambda the Ultimate, as always.
