►
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
10
Control
11
Implementing Exceptions
12
Abstract Machines
13
Abstract Machines II
14
Memory Safety
15
Memory Management
16
Parametric Polymorphism
17
Compiling to System-
F
18
Managing Effects
8.12
contents
← prev
up
next →
Notes
🔗
contents
← prev
up
next →