News for hackers. Stuff that matters.

A comment on Ask HN: any type theory book recommendation?.

Re:Ask HN: any type theory book recommendation? by enum on Sunday March 28, 2010 @01:56PM (#1224943)
"Practical Foundations of Programming Languages", available online:

http://www.cs.cmu.edu/~rwh/plbook/book.pdf

[ Parent | on HN ]

There are no comments on this comment yet.