On Fri, Jan 18, 2013 at 5:49 PM, Jan Stolarek <span dir="ltr">&lt;<a href="mailto:jan.stolarek@p.lodz.pl" target="_blank">jan.stolarek@p.lodz.pl</a>&gt;</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">&gt; for learning Hindley-Milner type inference algorithm I could recommend to<br>
&gt; undergraduate students? The original paper is harder to understand, I&#39;m<br>
&gt; looking for something more didactic. The students are familiar with the<br>
&gt; 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>