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
The Algorithm Design Manual
Programming Pearls
On LISP
Functional Programming in Scala
Real World Haskell
Pearls of Functional Algorithm Design
Computer Systems
Concepts, Techniques, and Models of Computer Programming
Introduction to the Theory of Computation
Elements of Programming
The Computational Beauty of Nature
Erlang Programming
An introduction to functional programming through Lambda calculus
The Art of Multiprocessor Programming
Programming Language Pragmatics, Second Edition
Paradigms of Artificial Intelligence
The Art of the Metaobject Protocol
Linux Kernel Development
Introduction to Automata Theory, Languages, and Computation
The Annotated Turing