CS 6110

Last Updated

  • Schedule of Classes - November 19, 2024 7:51PM EST
  • Course Catalog - November 19, 2024 7:07PM EST

CS 6110
Advanced Programming Languages

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

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.  Choose one lecture and one project.

  • 4 Credits Stdnt Opt

  • 19897 CS 6110   LEC 001

  •  
    • MWF
    • Jan 21 - May 6, 2025

    • Myers, A

  • Instruction Mode: In Person
    Enrollment limited to: Computer Science Doctor of Philosophy (PhD) and Master of Science (MS) students.
    For Bowers Computer and Information Science (CIS) Course Enrollment Help, please see: https://tdx.cornell.edu/TDClient/193/Portal/Home/

  • 20121 CS 6110   PRJ 601

  •  
    • TBA
    • Jan 21 - May 6, 2025

    • Myers, A

  • Instruction Mode: In Person

Syllabi: none

  •   Regular Academic Session.  Choose one lecture and one project.

  • 4 Credits Stdnt Opt

  • 19896 CS 6110   LEC 030

  •  
    • MWF
    • Jan 21 - May 6, 2025

    • Myers, A

  • Instruction Mode: Distance Learning-Synchronous
    Enrollment limited to: Cornell Tech Doctor of Philosophy (PhD) students.

  • 20177 CS 6110   PRJ 630

  •  
    • TBA
    • Jan 21 - May 6, 2025

    • Myers, A

  • Instruction Mode: In Person
    Enrollment limited to Cornell Tech PhD Students only.