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 | Syntax & Semantics | Formal Syntax, Grammars, and Operational Semantics | — |
| 2 | Type Systems | Type Theory, Type Checking, and Type Inference | — |
| 3 | Functional Programming | Lambda Calculus, Higher-Order Functions, and Closures | — |
| 4 | Object-Oriented | Objects, Classes, Inheritance, and Polymorphism | — |
| 5 | Concurrency | Concurrent Programming Models and Actors | — |
| 6 | Advanced Topics | Program Analysis, Verification, and Language Design | — |
Syllabus
Course syllabus and setup information
Syntax & Semantics
Formal Syntax, Grammars, and Operational Semantics
Type Systems
Type Theory, Type Checking, and Type Inference
Functional Programming
Lambda Calculus, Higher-Order Functions, and Closures
Object-Oriented
Objects, Classes, Inheritance, and Polymorphism
Concurrency
Concurrent Programming Models and Actors
Advanced Topics
Program Analysis, Verification, and Language Design
📊 Course Progress
0 items available across 7 units