CS 6110

Last Updated

  • Schedule of Classes - June 25, 2020 7:14PM EDT
  • Course Catalog - June 25, 2020 7:15PM EDT

CS 6110
Advanced Programming Languages

Course information provided by the 2019-2020 Catalog.

Study of programming paradigms: functional, imperative, concurrent, and probabilistic programming. Mathematical foundations: inductive definitions, fixed points, and formal semantics. Models of programming languages including the lambda calculus. Type systems, polymorphism, modules, and object-oriented constructs. Program transformations, program logic, and applications to programming methodology. 


Permission Note Enrollment limited to: graduate standing or permission of instructor.

When Offered Spring.

View Enrollment Information

Syllabi: none

  •   Regular Academic Session.  Combined with: CS 6110

  • 4 Credits Stdnt Opt

  • 10680 CS 6110   LEC 001

  •  

  • Instruction Mode: Hybrid - Online & In Person

    Restricted to graduate students only. All others should add themselves to the waitlist. Please go to http://www.cs.cornell.edu/courseinfo/enrollment for updates.

Syllabi: none

  •   Regular Academic Session.  Combined with: CS 6110

  • 4 Credits Stdnt Opt

  • 11978 CS 6110   LEC 031

  •  

  • Instruction Mode: Distance Learning-Synchronous

    Taught in NYC. Enrollment limited to Cornell Tech PhD students. Class will be streamed from Ithaca. Section will be cancelled if there are not any Cornell Tech PhD students enrolled.