Note, this isn't the book, it's his thesis. The book (which is great) expands upon it. FWIW, its code is in SML, with some Haskell translations in the appendix

Note, this isn't the book, it's his thesis. The book (which is great) expands upon it. FWIW, its code is in SML, with some Haskell translations in the appendix. I haven't used SML, but know OCaml, and haven't had any problems reading it.