CSE 413LEC - Theory of Programming Languages

This course introduces the theory of programming languages. We study operational, axiomatic, and denotational semantics. We focus on lambda calculus, the most important foundation for programming languages, but also look at imperative programming. We also introduce some of the most important techniques for programming-languages research, including type theory, logical relations, and categorical semantics.

Credits: 3

Grading
Graded (GRD)

Typically Offered:
Spring

Requisites:
CSE 305 AND CSE 331; Computer Science and Engineering Majors Only