CS 6110 - Advanced Programming Languages

Spring. 4 credits.

Graduate standing or permission of instructor.

Staff.

Study of programming paradigms: functional, imperative, concurrent, and logic programming. Models of programming languages, including the lambda calculus. Type systems, polymorphism, modules, and other object-oriented constructs. Program transformations, programming logic, and applications to programming methodology.