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

[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.

  Thanks for help,
  Petr Pudlak
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130118/3835eb8a/attachment.htm>