CS 4110: Programming Languages and Logics

Cross-Listing: Not cross-listed.

An introduction to the theory, design, and implementation of programming languages. Topics include operational semantics, type systems, higher-order functions, scope, lambda calculus, laziness, exceptions, side effects, continuations, objects, modules. Also discussed are logic programming, concurrency, and distributed and persistent programming.

Offered: Fall only

Prerequisites: CS 3110 or permission of instructor.

Grade options: Letter or S/U

Credit hours: 4

Recent offerings:

• http://www.cs.cornell.edu/courses/cs411/2007sp
  • Radu Rugina
• http://www.cs.cornell.edu/courses/cs411/2004fa
  • Radu Rugina
• http://www.cs.cornell.edu/courses/cs411/2003fa
  • Greg Morrisett