Best resource for Unification and type inference

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