CS 5110

CS 5110

Course information provided by the Courses of Study 2020-2021. Courses of Study 2021-2022 is scheduled to publish by July 1.

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, and modules. Also discussed are logic programming, concurrency, and distributed programming.

When Offered Fall.

Prerequisites/Corequisites Prerequisite: CS 3110 or permission of instructor.

View Enrollment Information

Enrollment Information
Syllabi: none
  •   Regular Academic Session.  Combined with: CS 4110

  • 4 Credits Stdnt Opt

  • 17584CS 5110  LEC 001

    • MWFTo Be Assigned
    • Aug 26 - Dec 7, 2021
    • Sampson, A

  • Instruction Mode: Planned for In Person
    Direct enrollment is restricted to CS PhD, MS and MEng students. Seniors taking courses for M.Eng credit and all other graduate and professional students must add themselves to the waitlist during add/drop. Undergraduates who are not taking M.Eng credit will not be permitted and must enroll/waitlist for the 4xxx version. See website for details: http://www.cs.cornell.edu/courseinfo/enrollment/cs-4000-5000-level-courses