"Why ML/OCaml are good for writing compilers" by Dwight VandenBerghe http://flint.cs.yale.edu/cs421/case-for-ml.html @OCamlLang