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? Janek _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
