The Tiger book, "Compiling with Continuations" and "Lisp in Small Pieces" are some of my favourite ones.
Then if you want to learn about language semantics validation, "Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach".
The Tiger book, "Compiling with Continuations" and "Lisp in Small Pieces" are some of my favourite ones.
Then if you want to learn about language semantics validation, "Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach".