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 it and browse its documentation.