Resources and Errata for The essence of ML type inference

(Chapter 10 of ATTAPL)

Extended version

Section 1.10 on universal quantification in constraints , including: first-order unification under a mixed prefix; how to handle type annotations; polymorphic recursion; boxed universal types and existential types.

, including: first-order unification under a mixed prefix; how to handle type annotations; polymorphic recursion; boxed universal types and existential types. Section 1.11 on rows, including: row unification; how to type-check operations on records and variants using rows.

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.

Errata