Implementing Type Inference: Not So Hard!

Christopher Diggins used a Hindley-Milner type-inference algorithm when designing the Cat language. Clear explanations of the technique seemed hard to come by, however, until Christopher uncovered a good book and a couple of papers that filled in the gaps.