COMP SCI 704
PRINCIPLES OF PROGRAMMING LANGUAGES
Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as from COMP SCI 536 .
Topics
- lambda-calculus
- functional languages
- polymorphic functions
- type inference
- structural induction
- lazy evaluation
- operational semantics
- denotational semantics
- and axiomatic semantics
Topics explicitly listed in official catalogue description
Prerequisites & course information
Requisites: Graduate/professional standing Course Designation: Grad 50% - Counts toward 50% graduate coursework requirement Repeatable for Credit: No Last Taught: Fall 2026
Sources
- Course catalogue ↗2026-2027