<div class="gmail_quote"><div> </div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">I am happy to announce that the rworked lecture notes for the 6th Advance Functional programming summer school have become available.<br>
</blockquote><div> </div><div>Thanks, Doaitse.<br> </div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
• Johan Jeuring (Utrecht University, NL): Libraries for Generic Programming in Haskell</blockquote><div><br>An extended version of this article is available as a technical report:<br><br> <a href="http://www.cs.uu.nl/research/techreps/UU-CS-2008-025.html">http://www.cs.uu.nl/research/techreps/UU-CS-2008-025.html</a><br>
<br>It introduces the concepts of datatype-generic programming using the libraries LIGD, SYB, and EMGM and compares them. There's also an additional section not in the published lecture notes on type-indexed datatypes with type families. You can even do the exercises in the lecture notes and check out the solutions in the tech report.<br>
<br>Regards,<br>Sean <br></div></div>