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

Jan Stolarek jan.stolarek at p.lodz.pl
Fri Jan 18 13:19:49 CET 2013

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.

Perhaps chapters on H-M from Appel's "Modern compiler implementation in C/Java" would be good?


More information about the Haskell-Cafe mailing list