Type System


Types and Programming Languages (Mit Press)
Elements of Programming
Category Theory for Programmers
From Mathematics to Generic Programming
Practical Foundations for Programming Languages