blob: fce1fea4b36e5e488a6d91a9598b56efabf7542e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
## CSCI3155 Principles of Programming Languages (FA24)
### Homework Assignments
1. Expressions and Data Types
2. Syntax
3. Big-Step Operational Semantics
4. Higher-Order Functions
5. Encapsulating Effects
### Labs
1. Recursion, Inductive Data Types, and Abstract Syntax
2. Basic Values, Variables, and Judgments
3. Small-Step Operational Semantics
4. Static Type Checking
5. Imperative Computation
|