Hello - Please share the best approach for unification and type reference as well as solution that goes in details about type inference resolution
1 Like
There is this repository of various type systems implemented in OCaml and these course material by Didier Rémy and François Pottier
1 Like