Math behind ocaml type system

yawaramin June 7, 2022, 1:12am 2

Refer to Is there a informatic theory behind ocaml

1 Like

Topic		Replies	Views	Activity
Is there a informatic theory behind ocaml Learning	5	1133	May 21, 2022
Description of Ocaml type system Learning	0	690	May 18, 2018
What sort of mathematical foundations are required to contribute to the research on modular implicits, typed effects, and the like? Learning type-inference , mathematics , type-theory	2	851	August 29, 2023
Discussion of a sentence on OCaml wikipedia page Community	8	577	October 27, 2025
Dependent Types in the Purest Form Community announce	21	4972	October 15, 2022