Resources and Errata for
The essence of ML type inference
(Chapter 10 of
By lack of space, a lot of material was left out of our chapter.
We would like to eventually publish an extended version, containing proofs
as well as some additional technical meterial. However, no time
frame has been set.
Meanwhile, you may consult a
preliminary, extended version of our chapter.
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,
browse its source code, or
try it online.
Page 445, Figure 10-11, rule S-Ex-3. There is a dangling prime
in the rule's right-hand side, which should belong to the
preceding "S" symbol.