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

On Fri, Jan 18, 2013 at 5:49 PM, Jan Stolarek wrote:

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.

What is the current opinion of Mark Jones Typing haskell in haskell? http://web.cecs.pdx.edu/~mpj/thih/TypingHaskellInHaskell.html [Note This is to add to the question more than the answer]