Brilliance of Haskell's Maybe type and the Value of Static Type Checkingmoreindirection.blogspot.com·42 pts·alrex021·33
Founder personalities and the "first-class man" theory of managementstartuplessonslearned.com·5 pts·alrex021·0
Modular Typechecking for Hierarchically Extensible Datatypes and Functionscs.ucla.edu·1 pts·alrex021·1