Designing type inference for high quality type errors | Hugonweb Annotated Link Bibliography

A bunch of things to note in designing a type system to make error messages better. I think the examples of bad error messages in languages being due to the type system (C++!) are broadly interesting.