From 47606056ff0836baac7231584764ec4405ed4725 Mon Sep 17 00:00:00 2001 From: Grigore Rosu Date: Thu, 18 Apr 2024 10:46:02 -0500 Subject: [PATCH] Update index.md --- teaching/2024/cs522/index.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/teaching/2024/cs522/index.md b/teaching/2024/cs522/index.md index 2a4f6d9..977d227 100644 --- a/teaching/2024/cs522/index.md +++ b/teaching/2024/cs522/index.md @@ -124,6 +124,12 @@ need* and more topics will be added. * 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) +- ### HW6 (due Thursday, April 25, AoE) + + Complete this [LAMBDA code snippet](CS522-Spring-2024-Lambda-Maude.zip). + This covers knowledge about untyped lambda-calculus, fixed-points, + combinatory logic, and de Bruijn nameless representations. + - Recursion, Types, Polymorphism * Recursion and Types. [Slides](CS522-Spring-2024-Recursion.pdf) * Polymorphism. [Slides](CS522-Spring-2024-Polymorphism.pdf)