CS 6110

Last Updated

  • Schedule of Classes - October 15, 2026 7:07PM EDT

CS 6110
Advanced Programming Languages

Course information provided by the 2026-2027 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.


Enrollment Information Enrollment limited to: Computer Science graduate and professional students; others by permission of instructor.

Last 4 Terms Offered 2025SP, 2023SP, 2022SP, 2021SP

View Enrollment Information

Syllabi: none

  •   Regular Academic Session. 

  • 4 Credits Stdnt Opt

  •  6769 CS 6110   LEC 001

  •  
    • MW
    • Jan 25 - May 11, 2027

    • Silva, A

  • Instruction Mode: In Person

    For Bowers Computer and Information Science (CIS) Course Enrollment Help, please see: https://tdx.cornell.edu/TDClient/193/Portal/Home/

Syllabi: none

  •   Regular Academic Session. 

  • 4 Credits Stdnt Opt

  • 17617 CS 6110   LEC 030

  •  

    • Silva, A

  • Instruction Mode: Distance Learning-Synchronous

    Enrollment limited to: Cornell Tech Doctor of Philosophy (PhD) students.