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

Dnia piątek, 18 stycznia 2013, Petr P napisał:

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.

Perhaps chapters on H-M from Appel's "Modern compiler implementation in C/Java" would be good? Janek