[kevinclancy]

Modern Compiler Implementation in ML by Andrew Appel

[adwhit]

I second this. Build a compiler from scratch. Main annoyance is that it uses SML - most readers are likely to want to use OCaml, and it's a bit fiddly translating between the two.

[sigjuice]

Why not just work with SML and focus on the compiler building part? Any particular reason to want to use OCaml?

[eatonphil]

There are of course the C and Java implementation books as well.

[ChristianGeek]

Links?

[eatonphil]

https://www.cs.princeton.edu/~appel/modern/java/

https://www.cs.princeton.edu/~appel/modern/c/