Resources and Errata for The essence of ML type inference
(Chapter 10 of ATTAPL)

Extended version

By lack of space, a lot of material was left out of our chapter. Here is a draft extended version of it (PDF) (PostScript). Compared to the published version, it adds (among other things):

A prototype implementation

A prototype implementation of a type inference engine based on constraint solving is available under the GPL license.

You can download here from here (or there) and browse its documentation.

You may also be interested in the inferno library also based on this work.