Type Theory and Functional Programming (1999) [pdf]

[fanf2]

Article URL: https://www.cs.cornell.edu/courses/cs6110/2015sp/textbook/Simon Thompson textbook.pdf

Comments URL: https://news.ycombinator.com/item?id=45435100

Points: 53

# Comments: 8