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

[Stephen Tetley]

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:

http://www.grabmueller.de/martin/www/pub/pub.en.html

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?