I am reading this book by Guy Cousineau and Michel Mauny. It was written in the Caml Light dialect. I am converting the code to something that works with Ocaml 4.03.0 and I will work on solutions to the exercises in parallel.
I have discovered that one of the authors has made the original Caml-Light source code available:
https://github.com/mauny/the-functional-approach-to-programming
@Fourchaux has converted the entire book to Ocaml code and opened a pull request in @mauny's repository :)