OCaml
Math behind ocaml type system
Community
yawaramin
June 7, 2022, 1:12am
2
Refer to
Is there a informatic theory behind ocaml
1 Like
show post in topic
Related Topics
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