Books recommended on r/ProgrammingLanguages

The most-mentioned books on r/ProgrammingLanguages.

Types and Programming Languages
5 users
Design Concepts in Programming Languages
4 users
Compilers
4 users
Type Theory and Formal Proof
4 users
The Garbage Collection Handbook
4 users
Principles of Compiler Design
3 users
Compiling with Continuations
3 users
Language Implementation Patterns
3 users

Looking for more? Similar subreddits are AskProgramming, oculus, pcmasterrace, rails, and webdev.