Merge branch 'gh-pages' of github.com:kth-step/fp-course into gh-pages

index.html

@@ -158,12 +158,25 @@ <h2 id="seminar-slides">Seminar Slides</h2>
 <tr class="odd">
 <td align="left">9</td>
 <td align="left">Module types and typeclasses</td>
-<td align="left"></td>
+<td align="left">
+<ul>
+<li><a href="seminars/sem9.pdf">slides</a></li>
+<li>PFPL chapter 44</li>
+<li><a href="https://smlfamily.github.io/Basis/">Standard ML Basis library</a></li>
+<li><a href="https://v2.ocaml.org/api/">OCaml Stdlib</a></li>
+</ul>
+</td>
 </tr>
 <tr class="even">
 <td align="left">10</td>
 <td align="left">Purely functional data structures, I</td>
-<td align="left"></td>
+<td align="left">
+<ul>
+<li><a href="seminars/sem10.pdf">slides</a></li>
+<li><a href="https://www.cambridge.org/core/books/purely-functional-data-structures/0409255DA1B48FA731859AC72E34D494">Purely functional data structures book</a>, chapters 3 and 5</li>
+<li><a href="https://www.cs.cmu.edu/~rwh/students/okasaki.pdf">Okasaki's PhD thesis</a>, contains subset of content in the book</li>
+</ul>
+</td>
 </tr>
 <tr class="odd">
 <td align="left">11</td>
@@ -192,6 +205,18 @@ <h2 id="homework">Homeworks</h2>
 <li><a href="homeworks/HW1.pdf">Homework Problem Set 1</a>, deadline 2023-09-22, 18:00 CEST</a></li>
 <li><a href="homeworks/HW2.pdf">Homework Problem Set 2</a>, deadline 2023-10-13, 18:00 CEST</a></li>
 </ul>
+<h2 id="research-papers">Related Research Papers</h2>
+<ul>
+<li>MacQueen, David B. <a href="http://doi.acm.org/10.1145/512644.512670">Using Dependent Types to Express Modular Structure</a>. POPL '86, pp. 277-286. [Paper about ML module system]</li>
+<li>Wadler, P. and Blott, S. <a href="http://doi.acm.org/10.1145/75277.75283">How to Make Ad-hoc Polymorphism Less Ad Hoc</a>. POPL '89, pp. 60-76. [Paper about typeclasses]</li>
+<li>Dreyer, Derek and Harper, Robert and Chakravarty, Manuel M. T. and Keller, Gabriele. <a href="http://doi.acm.org/10.1145/1190216.1190229">Modular Type Classes</a>. POPL '07, pp. 63-70. [Paper about connections between typeclasses and module systems]</li>
+<li>Becker et al. <a href="https://drops.dagstuhl.de/opus/volltexte/2022/16229/pdf/LIPIcs-ECOOP-2022-1.pdf">Verified Compilation and Optimization of Floating-Point Programs in CakeML</a>. ECOOP '22, pp. 1:1–1:12. [Paper about floating points in a functional language]</li>
+<li>Harper, Robert. <a href="http://dx.doi.org/10.1017/S0956796899003378">Proof-directed Debugging</a>. Journal of Functional Programming, 9:4, pp. 463-469. [Paper about purely functional regular expression matcher using closures]</li>
+<li>Meijer, Erik and Fokkinga, Maarten and Patterson, Ross. <a href="https://ris.utwente.nl/ws/portalfiles/portal/6142049/meijer91functional.pdf">Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire</a>. FPCA 1991. [Applying category-theoretic concepts in functional programming]</li>
+<li>Leroy, Xavier. <a href="https://caml.inria.fr/pub/papers/xleroy-manifest_types-popl94.pdf">Manifest types, modules, and separate compilation</a>. POPL 1994. [Module systems and how they enable incremental source compilation]</li>
+<li>Okasaki, Chris. <a href="https://www.cambridge.org/core/journals/journal-of-functional-programming/article/redblack-trees-in-a-functional-setting/62BC5EA75A2C95E3F6EE95AE3DADF0E5">Red-black trees in a functional setting</a>. Journal of Functional Programming, 1999.</li>
+<li>Milner, Robin. <a href="https://www.sciencedirect.com/science/article/pii/0022000078900144">A theory of type polymorphism in programming</a>. JCSS, 1978.</li>
+</ul>
 <h2 id="resources">Resources</h2>
 <ul>
 <li><a href="https://www.cs.cmu.edu/~rwh/pfpl/">Practical Foundations of Programming Languages</a> (main course book, <a href="http://www.cs.cmu.edu/~rwh/pfpl/abbrev.pdf">abbreviated pdf</a>)</li>