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