I was wondering if there was a full description of the ocaml type system somewhere either in the research literature or on the web somewhere. I am wondering how it differs from ML for which I have a couple books(Ullman etc).
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Math behind ocaml type system | 5 | 799 | June 7, 2022 | |
| How to learn to fully exploit OCaml's type system | 6 | 1713 | August 18, 2022 | |
| I want to learn the advanced type things, but I don't know where to find this information | 7 | 921 | July 14, 2020 | |
| Pathway for learning OCaml? | 8 | 995 | October 23, 2022 | |
| Philosophy and foundation of ocaml | 7 | 1556 | July 15, 2019 |