18 Jan 11:06 2013

## resources for learning Hindley-Milner type inference for undergraduate students

Petr P <petr.mvd <at> gmail.com>

2013-01-18 10:06:24 GMT

2013-01-18 10:06:24 GMT

Dear Haskellers,

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,

Petr Pudlak

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe <at> haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe