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.

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.