CS 421 - Programming Languages and Compilers

This course is the core programming language course in the CS major. The class is comprised on in-person lectures, quizzes, MPs, Labs, GAs, and exams. Exact course structure will vary depending on the instructor. Professor Elsa Gunter has traditionally taught this course in OCaml, and Professor Mattox Beckman has traditionally taught this course in Haskell.

A small handful of CS + X majors are not required to take this course.

Topics Covered

• Algebraic Data Types
• Lambda Calculus
• Continuation Passing Styles
• Types, Type Deduction, and Type Unification
• Monads
• Grammars
• Lexing
• Parsing (LL, LR)

Resources

Office hours are hosted as per the syllabus. Mattox’s course page as a good deal of content as well as recommended supplemental materials.

Related Classes

• CS 476 - Program Verification: Prove behavior of programs.