Resources
- Lecture Notes
- German textbook SML Programmierung (pdf) -- Version 2
- Introduction to Functional Programming and the Structure of Programming Languages using OCaml (pdf)
- Functional Programming in OCaml (textbook, Cornell) (accompanying videos)
- OCaml Manual
- OCaml API
- Video: Why learn functional programming?
- Alternative OCaml Interpreter
- Math Preparatory Course Lecture Notes (also about proofs) (2022)