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

2013/1/18 Petr P :

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