CS 582

PROGRAMMING LANGUAGES II

Oregon State University-Cascades Campus · UGRD · Fall 2026

1 section

Catalog description

Essentials of programming language theory for understanding and conducting programming language research. Dependently typed programming in Agda, Coq, or Idris; operational semantics; type systems; unification and type inference.

Sections

Current meeting, instructor, credit, and enrollment details

Updated 4 hours ago

001

Availability not recently verified

Class #oregon_cascades_campus-2110Fall 2026UGRD4 credits

Days & times: No scheduled meeting time
Meeting dates: —
Location: —
Instructor: Staff

Class numbers and section codes come from the registrar.

Spot missing or incorrect course data?