How the OCaml type checker works (2022)

1 crossposts

OCaml @programming.dev ericjmorey @programming.dev 3 mo. ago

How OCaml type checker works -- or what polymorphism and garbage collection have in common | okmij.org | original February 2013 | updated January 9, 2022

okmij.org /ftp/ML/generalization.html