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