CS 6110

Course information provided by the Courses of Study 2017-2018.

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. 

When Offered Spring.

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

View Enrollment Information

Enrollment Information
Syllabi: 1 available
  •   Combined with: CS 6110

  • 4 Credits Stdnt Opt

  • 10742CS 6110  LEC 001

  • Offered to PhD and MS students in Ithaca.

Enrollment Information
Syllabi: 1 available
  •   Combined with: CS 6110

  • 4 Credits Stdnt Opt

  • 12280CS 6110  LEC 031

  • Taught in NYC. Enrollment limited to Cornell Tech PhD students. Offered via distance learning from Ithaca campus. Section will be cancelled if there are not any Cornell Tech PhD students enrolled.