From 2ba30a424c3125f019e18cae9cd851142cc039c8 Mon Sep 17 00:00:00 2001 From: Grigore Rosu Date: Tue, 26 Mar 2024 10:51:18 -0500 Subject: [PATCH] Update index.md --- teaching/2024/cs522/index.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/teaching/2024/cs522/index.md b/teaching/2024/cs522/index.md index 3040fa1..acfddb6 100644 --- 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)