[Haskell-cafe] resources for learning Hindley-Milner type inference for undergraduate students
petr.mvd at gmail.com
Fri Jan 18 11:06:24 CET 2013
could somebody recommend me study materials for learning Hindley-Milner
type inference algorithm I could recommend to undergraduate students? The
original paper is harder to understand, I'm looking for something more
didactic. The students are familiar with the lambda calculus, natural
deduction and System F.
Thanks for help,
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe