aboutsummaryrefslogtreecommitdiff
path: root/readme.md
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