OCaml Programming: Correct and Efficient and Beautiful
cs3110.github.io