Type theory and functional programming. (1999) [pdf]

(cs.cornell.edu)

3 points | by fanf2 11 hours ago ago