CS 41104 creditsPrereq: CS 3110
CS 4110: Programming Languages and Logics
14 public student ratings, updated Oct 2026 · no written reviews yet
Course enrollment for Spring 2027 at Cornell opens Wed, Nov 11. Registrar dates
From 14 public student ratings
Students rate this class highly. It's demanding, and good grades are within reach.
No written reviews yet. Yours would be the first.
Took CS 4110? How hard was it?
1 is easy, 5 is hard. Anonymous, no account.
Difficulty
What we know
- From the catalog
- Introduction to programming language theory including operational semantics, type systems, higher-order functions, scope, and lambda calculus.
- Ratings across the web
- 4.2 out of 5 stars4.2from 14 ratings
- Department
- Computer Science
Written reviews
No written reviews of CS 4110 yet
Took it? Add yours when you have a couple of minutes. Anonymous, no account, no email.
Professors who have taught CS 4110
- Adrian Sampson
- Emin Gun Sirer
- Lorenzo Alvisi
- Nate Foster
Questions students ask
Classes next to CS 4110
CS courses at Cornell with the closest numbers
- CS 3780Introduction to Machine Learning1.6 out of 5 stars1.6· difficulty 96/100· 18 ratings
- CS 4110Programming Languages and LogicsThis class
- CS 4120Introduction to Compilers3.6 out of 5 stars3.6· difficulty 100/100· 3 ratings
- CS 4410Operating Systems2.5 out of 5 stars2.5· difficulty 79/100· 73 ratings
- CS 4620Introduction to Computer Graphics2.9 out of 5 stars2.9· difficulty 80/100· 14 ratings
- CS 4670Introduction to Computer Vision3.6 out of 5 stars3.6· difficulty 57/100· 14 ratings
- CS 4780Machine Learning for Intelligent Systems3.6 out of 5 stars3.6· difficulty 64/100· 59 ratings