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.
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
as a tarball and
can be used under the conditions of the
GPL free software license.
You can try the prototype online.
You can also browse code online
or as a pdf
document
Errata
-
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.