Welcome to the class!
Read the syllabus.
| Week | Date | Topic | |
|---|---|---|---|
| 1 | Tue 30 Jan | Overview | |
| Thu 1 Feb | Discussion | ||
| 2 | Tue 6 | LF Type Theory | |
| Thu 8 | Discussion | ||
| 3 | Tue 13 | Higher-Order Abstract Syntax | |
| Thu 15 | HOAS Part 2 | ||
| 4 | Tue 20 | HOAS Part 3 | |
| Thu 22 | Canonical Forms | ||
| 5 | Tue 27 | Participant Demos | |
| Thu 29 | Participant Demos / Closing remarks |
“CM 500: Logical Frameworks” is a free, 5-week course by Chris Martens. The course is currently designed for twice-per-week synchronous sessions on Zoom.
The Jan-Feb 2024 iteration is finished. However, there may be future iterations and/or related classes of a similar nature. To be notified, sign up for the mailing list.