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 | |
---|---|---|---|---|
Several Ocaml questions | 3 | 1228 | December 19, 2017 | |
Why use OCaml over Python | 20 | 4173 | June 16, 2024 | |
How has The Little MLer aged? | 1 | 1979 | December 10, 2018 | |
What *sort* of mathematical foundations are required to contribute to the research on modular implicits, typed effects, and the like? | 2 | 741 | August 29, 2023 | |
Pathway for learning OCaml? | 8 | 858 | October 23, 2022 |