Types and Programming Languages
Benjamin C. Pierce
Type Theory and Formal Proof
Rob Nederpelt & Herman Geuvers
Type Theory and Functional Programming
Simon Thompson
Advanced Topics in Types and Programming Languages
Structure and Interpretation of Computer P
Harold Abelson
Modern Compiler Implementation in C
Andrew W. Appel & Maia Ginsburg
Modern Compiler Implementation in ML
Andrew W. Appel
Compilers: Principles, Techniques, and Tools
Alfred V. Aho & Monica S. Lam & Jeffrey D. Ullman & Ravi Sethi
The Little Typer
Daniel P. Friedman & David Thrane Christiansen
Purely Functional Data Structures
Chris Okasaki