What to Read After Types and Programming Languages
Readers who loved Types and Programming Languages by Benjamin C. Pierce keep reaching for these 24 books. This list is built from where Types and Programming Languages is read alongside other books across reader co-reads and book lists. The more independent sources agree on a title, the higher it ranks.
Books to read after Types and Programming Languages
Structure and Interpretation of Computer Programs (SICP)
Purely functional data structures
Concrete mathematics
Compilers, principles, techniques, and tools
Functional Programming in Scala
Programming Pearls
The algorithm design manual
On LISP
Concepts, Techniques, and Models of Computer Programming
Introduction to the Theory of Computation
Pearls of functional algorithm design
Real World Haskell
Computer Systems
Programming Language Pragmatics, Second Edition
Elements of programming
The Computational Beauty of Nature
Linux Kernel Development
The art of the metaobject protocol
Erlang programming
Paradigms of Artificial Intelligence
The Art of Multiprocessor Programming
An introduction to functional programming through Lambda calculus
Introduction to automata theory, languages, and computation
Expert C programming!