News for hackers. Stuff that matters.
Re:OCaml Programming: Correct and Efficient and Beautiful by lmm on Friday June 24, 2022 @09:23AM (#31861368)
Cambridge does this (or did when I was there); https://www.cl.cam.ac.uk/~lp15/MLbook/ is the book for the course (available online).
Re:OCaml Programming: Correct and Efficient and Beautiful by geophertz on Friday June 24, 2022 @08:17PM (#31871147)
It still does according to the undergraduate program page https://www.undergraduate.study.cam.ac.uk/courses/computer-s...