I am going to take 2-3 years spare time to finish some classical books. Some of them have been half-finished. This job does not conflict with daily work and paper reading.

Programming Languages and Compilers

• Types and Programming Languages Book by Benjamin C. Pierce
• Introduction to Automata Theory, Languages, and Computation, Textbook by Jeffrey Ullman and John Hopcroft
• Essentials of Programming Languages Textbook by Daniel P. Friedman and Mitchell Wand
• The little series by Dan Friedman
• Modern Compiler Implementation in ML Textbook by Andrew Appel
• C Interfaces and Implementations: Techniques for Creating Reusable … Book by David Hanson
• A Retargetable C Compiler: Design and Implementation Book by Christopher W. Fraser and David Hanson
• Programming Language Pragmatics Book by Michael L. Scott