Comment by glutamate

The Programming Languages Zoo really helped me in learning type inference implementation. It has a series of increasingly complex languages, all implemented in ML.

http://andrej.com/plzoo/