Update index.md

Formal-Systems-Laboratory · Mar 26, 2024 · 2ba30a4 · 2ba30a4
1 parent b81f4da
commit 2ba30a4
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/teaching/2024/cs522/index.md b/teaching/2024/cs522/index.md
@@ -111,3 +111,7 @@ need* and more topics will be added.
 -   Simply-Typed Lambda Calculus
     * Basic notions: type system, equational semantics, models, completeness.  [Slides](CS522-Spring-2024-Simply-Typed-Lambda-Calculus.pdf)
     * Cartesian Closed Categories as models for simply-typed lambda-calculus.  [Slides](CS522-Spring-2024-PL-CCC.pdf)
+
+- Recursion, Types, Polymorphism
+    * Recursion and Types. [Slides](CS522-Spring-2024-Recursion.pdf)
+    * Polymorphism. [Slides](CS522-Spring-2024-Polymorphism.pdf)