2013/1/18 Petr P <[email protected]>:
> 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
HTH,
Thu
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
