[Haskell-cafe] resources for learning Hindley-Milner type inference for undergraduate students

Stephen Tetley stephen.tetley at gmail.com
Fri Jan 18 18:25:37 CET 2013

There is a summary paper by Sunil Kothari and James L. Cladwell
covering the algorithms M, J and W with informal presentations plus
code available in Ocaml. Paper is on Citeseer, code is available from
Sunil Kothari's home page.

Martin Grabmueller has a tutorial implementation of algorithm W in Haskell:


On 18 January 2013 10:06, Petr P <petr.mvd at gmail.com> wrote:
>   Dear Haskellers,
> could somebody recommend me study materials for learning Hindley-Milner type
> inference algorithm I could recommend to undergraduate students?

More information about the Haskell-Cafe mailing list