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

Petr P petr.mvd at gmail.com
Fri Jan 18 11:06:24 CET 2013

  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>

More information about the Haskell-Cafe mailing list