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 alexk7 on Sunday March 28, 2010 @12:44PM (#1224821)
I didn't read any type theory book but I'm interested in the subject. I think I will buy Pierce's "Types and Programming Languages" based on the recommendations on this thread: http://lambda-the-ultimate.org/node/492
[ Parent | on HN ]
Re:Ask HN: any type theory book recommendation? by smikhanov on Sunday March 28, 2010 @01:14PM (#1224872)
Really great thread, thanks for pointing that out
[ Parent | on HN ]