sem13

index.html

@@ -192,12 +192,28 @@ <h2 id="seminar-slides">Seminar Slides</h2>
 <tr class="even">
 <td align="left">12</td>
 <td align="left">Research paper presentations</td>
-<td align="left"></td>
+<td align="left">
+Presented papers:
+<ul>
+<li><a href="http://doi.acm.org/10.1145/75277.75283">How to Make Ad-hoc Polymorphism Less Ad Hoc</a></li>
+<li><a href="http://doi.acm.org/10.1145/1190216.1190229">Modular Type Classes</a></li>
+<li><a href="https://www.sciencedirect.com/science/article/pii/0022000078900144">A theory of type polymorphism in programming</a></li>
+<li><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></li>
+<li><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></li>
+</ul>
+</td>
 </tr>
 <tr class="odd">
 <td align="left">13</td>
-<td align="left">Dependent types, interactive theorem proving, compilation</td>
-<td align="left"></td>
+<td align="left">Advanced topics: Church's simple types &amp; dependent types</td>
+<td align="left">
+<ul>
+<li><a href="seminars/sem13.pdf">slides</a></li>
+<li><a href="https://plato.stanford.edu/entries/type-theory-church/">Church's simple type theory</a> in Stanford's encyclopedia of philosophy</li>
+<li>Thorsten Altenkirch's <a href="http://www.cs.nott.ac.uk/~psztxa/oplss-22/dependent.pdf">lecture notes on dependent types</a></li>
+<li><a href="https://plato.stanford.edu/entries/type-theory-intuitionistic">Intuitionistic type theory</a> in Stanford's encyclopedia of philosophy</li>
+</ul>
+</td>
 </tr>
 <tr class="even">
 <td align="left">14</td>