Program Overview

CSEP505: Programming Languages

Overview

The CSEP505 program is a study of non-imperative programming paradigms, including functional, object-oriented, logic, and constraint programming. The program covers programming language semantics and type theory.

Program Details

• Catalog Description: A study of non-imperative programming paradigms such as functional, object-oriented, logic, and constraint programming. Programming language semantics and type theory.
• Prerequisites: None listed
• Credits: 4.0

Recent Quarters

• Most Recent Quarter:
  • Spring, 2025 (Wilcox, Tatlock)
• Previous Quarters:
  • Winter, 2023 (Wilcox)
  • Spring, 2021 (Wilcox)
  • Spring, 2019 (Tatlock)
  • Autumn, 2016 (Grossman)
  • Winter, 2015 (Cooper, Grossman)
  • Spring, 2013 (Cooper)
  • Autumn, 2009 (Grossman)
  • Winter, 2009 (Grossman)
  • Spring, 2006 (Grossman)
  • Autumn, 2003 (Chambers)