Advanced Topics in Types and Programming Languages: Solutions to Exercises
Classic, interesting, and exciting publications on functional programming for anyone to read.
Both classic and new writings discussing the finer points of type theory.
Collection of canonical references and resources for learning Category Theory.
Knuth's classic series of volumes, The Art of Computer Programming