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.