On Fri, Jan 18, 2013 at 5:49 PM, Jan Stolarek <jan.stola...@p.lodz.pl>wrote:
> 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. > What is the current opinion of Mark Jones Typing haskell in haskell? http://web.cecs.pdx.edu/~mpj/thih/TypingHaskellInHaskell.html [Note This is to add to the question more than the answer]
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
