On Fri, Jan 18, 2013 at 5:49 PM, Jan Stolarek <span dir="ltr"><<a href="mailto:jan.stolarek@p.lodz.pl" target="_blank">jan.stolarek@p.lodz.pl</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Dnia piątek, 18 stycznia 2013, Petr P napisał:<br>
<div class="im">> for learning Hindley-Milner type inference algorithm I could recommend to<br>
> undergraduate students? The original paper is harder to understand, I'm<br>
> looking for something more didactic. The students are familiar with the<br>
> lambda calculus, natural deduction and System F.<br>
</div></blockquote></div><br>What is the current opinion of Mark Jones Typing haskell in haskell?<br><a href="http://web.cecs.pdx.edu/~mpj/thih/TypingHaskellInHaskell.html">http://web.cecs.pdx.edu/~mpj/thih/TypingHaskellInHaskell.html</a><br>
<br>[Note This is to add to the question more than the answer]<br>