The following new course proposal has been submitted to the Faculty Senate Office for review and approval and is listed here for faculty review and comment. Comments on any new course proposal should be submitted to Ernest May, secretary of the Faculty Senate, at email@example.com.
CMPSCI 631, “Programming Languages,” 3 credits; Instructor: Arjun Guha; Programming languages are fundamental to computer science and everyday programming. This course is an in-depth introduction to the formal, logical foundations of programming languages. Prerequisites: None