My all-time favorite is not a exactly a book, but a tutorial on compiler construction: https://compilers.iecc.com/crenshaw/ https://compilers.iecc.com/crenshaw/

My all-time favorite is not a exactly a book, but a tutorial on compiler construction: https://compilers.iecc.com/crenshaw/ https://compilers.iecc.com/crenshaw/ It is dated in its choice of assembly, but I really enjoyed this style of crystal-clear explanations when I was a young kid learning how to program. Other extremely well-written books include TaPL (Types and Programming Language), by Benjamin Pierce: https://www.cis.upenn.edu/~bcpierce/tapl/ https://www.cis.upenn.edu/~bcpierce/tapl/. Benjamin Pierce's writing style is very good and you can enjoy it in the free series on Software Foundations (using a theorem prover like Coq to develop programs): https://softwarefoundations.cis.upenn.edu/ https://softwarefoundations.cis.upenn.edu/.