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	776	August 29, 2023
Is there a informatic theory behind ocaml Learning	5	1038	May 21, 2022
Description of Ocaml type system Learning	0	676	May 18, 2018
Resources for building a Polymorphic Lambda Calculus compiler? Learning	6	1497	March 9, 2021
Learn Lambda Calculus in 10 minutes with OCaml Community blog	9	1611	February 7, 2024