CMSI 5850: Programming Languages Foundations
Course materials organized by unit. Click on a unit to view lectures, homework, and exams.
| ID | Unit | Description | Status |
|---|---|---|---|
| 0 | Syllabus | Course syllabus and setup information | — |
| 1 | Mathematical Foundations | Classical Logic, Set Theory, and Lambda Calculus | — |
| 2 | Syntax | Language Theory, Abstract Syntax, and Parsing | Current |
| 3 | Semantics | Operational, Denotational Semantics, and Modern Applications | — |
0
Syllabus
Course syllabus and setup information
1
Mathematical Foundations
Classical Logic, Set Theory, and Lambda Calculus
2
NowSyntax
Language Theory, Abstract Syntax, and Parsing
3
Semantics
Operational, Denotational Semantics, and Modern Applications
📊 Course Progress
11 items available across 4 units
Currently in: Syntax