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

Rustom Mody rustompmody at gmail.com
Fri Jan 18 13:44:59 CET 2013

On Fri, Jan 18, 2013 at 5:49 PM, Jan Stolarek <jan.stolarek at 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?

[Note This is to add to the question more than the answer]
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130118/da37fac4/attachment.htm>

More information about the Haskell-Cafe mailing list