3 ms·
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
by alexk7 17y ago
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 http://lambda-the-ultimate.org/node/492
- smikhanov 17y agoReally great thread, thanks for pointing that out