The social consequences of type systems · sunshowers
Types are for people.
Implementing As-Safe-As-Possible, Misuse-Resistant Cryptographic Libraries: Part I
blog.patternsinthevoid.net
Types are for people.