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

Vo Minh Thu noteed at gmail.com
Fri Jan 18 11:12:23 CET 2013

2013/1/18 Petr P <petr.mvd at gmail.com>:
>   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.

I think I really liked

    Cardelli's paper Basic Polymorphic Typechecking, 1987


More information about the Haskell-Cafe mailing list