C cs.cornell.edu Type Theory and Functional Programming (1999) [pdf] 197 points fanf2 1 year ago 87 comments
