Course information provided by the 2026-2027 Catalog.
Advanced programming course emphasizing functional programming, data structures, and software design. Topics include recursive and higher-order programming, algebraic data types and pattern matching, modularity and abstraction mechanisms, models of program evaluation, and type systems. Covers techniques for specifying, testing, and reasoning about program correctness, and for analyzing the performance and design tradeoffs of data structures and programs.
Prerequisites CS 2110 or equivalent.
Corequisites or prerequisites: CS 2800.
Distribution Requirements (SMR-AS)
Last 4 Terms Offered 2026FA, 2026SP, 2025FA, 2025SP
Learning Outcomes
Design programs using functional programming techniques, including recursion, immutability, higher-order functions, algebraic data types, and pattern matching.
Apply principles of static and dynamic semantics to predict, explain, and reason about program behavior.
Design and implement modular software systems using abstraction mechanisms that enforce well-defined interfaces and information hiding.
Specify, test, and reason about program correctness using precise specifications, systematic testing, and mathematical reasoning.
Analyze and evaluate programs and data structures with respect to efficiency, abstraction, and design tradeoffs, and select and implement appropriate solutions.
Regular Academic Session.Choose one lecture and one discussion.
Credits and Grading Basis
4 Credits
GradeNoAud(Letter grades only (no audit))
Class Number & Section Details
6621CS 3110 LEC 001
Meeting Pattern
MWF
Jan 25 - May 11, 2027
Instructors
Hsu, J
To be determined. There are currently no textbooks/materials listed, or no textbooks/materials
required, for this section. Additional information may be found on the syllabus provided by your professor.
For the most current information about textbooks, including the timing and options for purchase, see the
Cornell Store.
To be determined. There are currently no textbooks/materials listed, or no textbooks/materials
required, for this section. Additional information may be found on the syllabus provided by your professor.
For the most current information about textbooks, including the timing and options for purchase, see the
Cornell Store.
Additional Information
Instruction Mode: In Person
Class Number & Section Details
6623CS 3110 DIS 202
Meeting Pattern
M
Jan 25 - May 11, 2027
Instructors
Hsu, J
To be determined. There are currently no textbooks/materials listed, or no textbooks/materials
required, for this section. Additional information may be found on the syllabus provided by your professor.
For the most current information about textbooks, including the timing and options for purchase, see the
Cornell Store.
Additional Information
Instruction Mode: In Person
Class Number & Section Details
6624CS 3110 DIS 203
Meeting Pattern
M
Jan 25 - May 11, 2027
Instructors
Hsu, J
To be determined. There are currently no textbooks/materials listed, or no textbooks/materials
required, for this section. Additional information may be found on the syllabus provided by your professor.
For the most current information about textbooks, including the timing and options for purchase, see the
Cornell Store.
Additional Information
Instruction Mode: In Person
Class Number & Section Details
6625CS 3110 DIS 204
Meeting Pattern
M
Jan 25 - May 11, 2027
Instructors
Hsu, J
To be determined. There are currently no textbooks/materials listed, or no textbooks/materials
required, for this section. Additional information may be found on the syllabus provided by your professor.
For the most current information about textbooks, including the timing and options for purchase, see the
Cornell Store.
Additional Information
Instruction Mode: In Person
Class Number & Section Details
6626CS 3110 DIS 205
Meeting Pattern
T
Jan 25 - May 11, 2027
Instructors
Hsu, J
To be determined. There are currently no textbooks/materials listed, or no textbooks/materials
required, for this section. Additional information may be found on the syllabus provided by your professor.
For the most current information about textbooks, including the timing and options for purchase, see the
Cornell Store.
Additional Information
Instruction Mode: In Person
Class Number & Section Details
6627CS 3110 DIS 206
Meeting Pattern
T
Jan 25 - May 11, 2027
Instructors
Hsu, J
To be determined. There are currently no textbooks/materials listed, or no textbooks/materials
required, for this section. Additional information may be found on the syllabus provided by your professor.
For the most current information about textbooks, including the timing and options for purchase, see the
Cornell Store.
Additional Information
Instruction Mode: In Person
Class Number & Section Details
6628CS 3110 DIS 207
Meeting Pattern
T
Jan 25 - May 11, 2027
Instructors
Hsu, J
To be determined. There are currently no textbooks/materials listed, or no textbooks/materials
required, for this section. Additional information may be found on the syllabus provided by your professor.
For the most current information about textbooks, including the timing and options for purchase, see the
Cornell Store.
Additional Information
Instruction Mode: In Person
Class Number & Section Details
6629CS 3110 DIS 208
Meeting Pattern
T
Jan 25 - May 11, 2027
Instructors
Hsu, J
To be determined. There are currently no textbooks/materials listed, or no textbooks/materials
required, for this section. Additional information may be found on the syllabus provided by your professor.
For the most current information about textbooks, including the timing and options for purchase, see the
Cornell Store.
Additional Information
Instruction Mode: In Person
Class Number & Section Details
6630CS 3110 DIS 209
Meeting Pattern
T
Jan 25 - May 11, 2027
Instructors
Hsu, J
To be determined. There are currently no textbooks/materials listed, or no textbooks/materials
required, for this section. Additional information may be found on the syllabus provided by your professor.
For the most current information about textbooks, including the timing and options for purchase, see the
Cornell Store.
Additional Information
Instruction Mode: In Person
Class Number & Section Details
6631CS 3110 DIS 210
Meeting Pattern
T
Jan 25 - May 11, 2027
Instructors
Hsu, J
To be determined. There are currently no textbooks/materials listed, or no textbooks/materials
required, for this section. Additional information may be found on the syllabus provided by your professor.
For the most current information about textbooks, including the timing and options for purchase, see the
Cornell Store.
Additional Information
Instruction Mode: In Person
Class Number & Section Details
6632CS 3110 DIS 211
Meeting Pattern
T
Jan 25 - May 11, 2027
Instructors
Hsu, J
To be determined. There are currently no textbooks/materials listed, or no textbooks/materials
required, for this section. Additional information may be found on the syllabus provided by your professor.
For the most current information about textbooks, including the timing and options for purchase, see the
Cornell Store.
Additional Information
Instruction Mode: In Person
Class Number & Section Details
6633CS 3110 DIS 212
Meeting Pattern
W
Jan 25 - May 11, 2027
Instructors
Hsu, J
To be determined. There are currently no textbooks/materials listed, or no textbooks/materials
required, for this section. Additional information may be found on the syllabus provided by your professor.
For the most current information about textbooks, including the timing and options for purchase, see the
Cornell Store.
