Purely Functional Data Structures
Chris Okasaki
The Greatest Story Ever Told...So Far
Lawrence M. Krauss
Types and Programming Languages
Benjamin C. Pierce
Mathematical Proofs: A Transition to Advanced Mathematics
Gary Chartrand & Albert Polimeni & Ping Zhang
Modern Compiler Implementation in ML
Andrew W. Appel
Modern Compiler Implementation in C
Andrew W. Appel & Maia Ginsburg