Another really helpful resource to understand algorithm W inferring types for HM is Algorithm-W-Step-by-Step at [1]. [1]. http://citeseerx.ist.psu.edu/viewdoc/

Another really helpful resource to understand algorithm W inferring types for HM is Algorithm-W-Step-by-Step at [1]. [1]. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.65.7733&rep=rep1&type=pdf http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.65....