Top Quality Type Error Messages

This is a very readable phd-thesis on a practical approach to typing: "Top Quality Type Error Messages" by Bastiaan Heeren, 2005. The ideas in it now form the basis for my Hi language.