csci3155

CSCI3155 Coursework
git clone https://git.pngu.org/csci3155
Log | Files | Refs | README

readme.md (400B)

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
 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