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

[Vo Minh Thu]

2013/1/18 Petr P <petr.mvd at gmail.com>:
>   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.

I think I really liked

    Cardelli's paper Basic Polymorphic Typechecking, 1987

HTH,
Thu