Writing Micro Compiler in OCaml (2014)
troydm.github.io