Implementations of type inference algorithms with type generalization for the lambda calculus described in https://okmij.org/ftp/ML/generalization.html
Implementations of type inference algorithms with type generalization for the lambda calculus described in https://okmij.org/ftp/ML/generalization.html