[Haskell-cafe] resources for learning Hindley-Milner type inference for undergraduate students
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