Types and Programming Languages (The MIT Press)
ISBN: 0262162091
Buy on Amazon
Found in 1 comment on Hacker News
wcrichton · 2018-09-22 · Original thread
Strongly recommend Types and Programming Languages [1]. I think it's the most useful + accessible book on type theory out there.

[1] https://www.amazon.com/Types-Programming-Languages-MIT-Press...

Fresh book recommendations delivered straight to your inbox every Thursday.