Remix.run Logo
Type theory and functional programming. (1999) [pdf](cs.cornell.edu)
3 points by fanf2 10 hours ago