CS 7400: iPPL (Fall 2024)

7400: iPPL (Fall 2024)

There will be 5 written assignments and a final mini-project. This page will be updated as further information becomes available.

Assignment 0, due Thursday, September 12: complete the course Intake survey

Released	Number	Assignment	Source	Due

Fri Sep 20	1	Defining and Extending a Language	LaTeX Source	Fri Oct 4
Tue Oct 8	2	Finite Types	LaTeX Source (Overleaf)	Mon Oct 21
Mon Oct 28	3	Logic and Recursion	LaTeX Source (Overleaf)	Fri Nov 8
Mon Nov 10	4	Recursive Types and System F	LaTeX Source (Overleaf)	Fri Nov 22
Tue Nov 19	Mini-project	Mini Project: Explanatory Artifact		Fri Dec 6