►
CS4400/
5400 Spring 2026
Syllabus
Notes
Homework
▼
Notes
1
Introduction
2
Interpreting Programs
3
Scope and Substitution
4
The Lambda Calculus
5
Compilation
6
Formalism
7
Types
8
Types II:
Typing Formalism
9
Types III:
Type Soundness
8.12
contents
← prev
up
next →
Notes
🔗
contents
← prev
up
next →