On Fri, Jan 18, 2013 at 5:49 PM, Jan Stolarek <jan.stolarek@p.lodz.pl> 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]