CS 3110 教材《OCaml 编程:正确、高效且美观》
The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"