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

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 wrote:

Dear Haskellers,

could somebody recommend me study materials for learning Hindley-Milner type inference algorithm I could recommend to undergraduate students?