CS 5110

Last Updated

  • Schedule of Classes - September 10, 2024 10:17AM EDT
  • Course Catalog - September 10, 2024 9:19AM EDT
Global toggle of class tabs

Links for textbooks and Cornell Store open in new tab.

CS 5110
Programming Languages and Logics

Course information provided by the Courses of Study 2023-2024.

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

Syllabi: none

  •   Regular Academic Session.  Choose one lecture and one project. Combined with: CS 4110

  • 4 Credits Stdnt Opt

  • 19885 CS 5110   LEC 001

  •  

  • Enrollment limited to CS students only. All others should add themselves to the waitlist when add/drop opens in January. See enrollment webpage for more details: https://www.cs.cornell.edu/courseinfo/enrollment/cs-4000-5000-level-courses

  • 19886 CS 5110   PRJ 601

  •  
    • TBA
    • Jan 22 - May 7, 2024

    • Staff