COM S 611: Advanced Programming Languages

Cross-Listing: Not cross-listed.

A 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.

Offered: Fall only

Prerequisites: Graduate standing or permission of instructor.

Grade options: Letter or S/U

Credit hours: 4

Recent offerings:

• http://www.cs.cornell.edu/courses/cs611/2007fa
  • Andrew Myers
• http://www.cs.cornell.edu/courses/cs611/2006fa
  • Dexter Kozen
• http://www.cs.cornell.edu/courses/cs611/2005fa
  • Andrew Myers