4 ms·
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/Typ
by wcrichton 8y ago
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/dp/0262162091 https://www.amazon.com/Types-Programming-Languages-MIT-Press...