aboutsummaryrefslogtreecommitdiff

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