CSCI3155 Principles of Programming Languages (FA24)
Homework Assignments
- Expressions and Data Types
- Syntax
- Big-Step Operational Semantics
- Higher-Order Functions
- Encapsulating Effects
Labs
- Recursion, Inductive Data Types, and Abstract Syntax
- Basic Values, Variables, and Judgments
- Small-Step Operational Semantics
- Static Type Checking
- Imperative Computation