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
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	640	August 29, 2023
Description of Ocaml type system Learning	0	646	May 18, 2018
Learn Lambda Calculus in 10 minutes with OCaml Community blog	9	709	February 7, 2024
Pathway for learning OCaml? Learning	8	752	October 23, 2022
Free culture OCaml book progress Community book	2	1225	June 18, 2020