CS 6110

Last Updated

  • Schedule of Classes - June 10, 2022 7:44AM EDT
  • Course Catalog - June 9, 2022 7:14PM EDT

CS 6110
Advanced Programming Languages

Course information provided by the Courses of Study 2021-2022.

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 students or permission of instructor.

View Enrollment Information

Syllabi: none

  •   Regular Academic Session. 

  • 4 Credits Stdnt Opt

  • 10042 CS 6110   LEC 001

  •  
    • MWF
    • Jan 24 - May 10, 2022

    • Silva, A

  • Instruction Mode: In Person
    This course is restricted to CS PhD and MS students only. All others should add themselves to the waitlist during add/drop.

Syllabi: none

  •   Regular Academic Session. 

  • 4 Credits Stdnt Opt

  • 10984 CS 6110   LEC 030

  •  

  • Instruction Mode: In Person
    Taught in NYC at Cornell Tech. Class will be streamed from Ithaca. Enrollment is restricted to Cornell Tech PhD students.