CSE 4133 credits
CSE 413: Theory of Programming Languages
No student reviews yet
Undergrad registration for Spring 2027 at UB opens Mon, Nov 2. Registrar dates
No ratings yet
We don't have ratings, grades or reviews for CSE 413 yet.
Below: what the catalog says, the CSE classes numbered next to it and how Computer Science and Engineering classes rate at UB.
Yours would be the first. About two minutes, anonymous.
Took CSE 413? How hard was it?
1 is easy, 5 is hard. Anonymous, no account.
Difficulty
What we know
- From the catalog
- This course introduces the theory of programming languages. We study operational, axiomatic, and denotational semantics. We focus on lambda calculus, the most important foundation for programming languages, but also look at imperative programming. We also introduce some of the most important techniques for programming-languages research, including type theory, logical relations, and categorical semantics.
- Credits
- 3
- Department
- Computer Science and Engineering
Rated classes in Computer Science and Engineering at UB
CSE 413 has no ratings yet. These CSE classes do, nearest numbers first.
- CSE 396Introduction to the Theory of ComputationHard · 46 ratings · 2.2 out of 5
- CSE 404Software Project ManagementHard · 3 ratings · 5.0 out of 5
- CSE 410Operating SystemsModerate · 23 ratings · 4.5 out of 5
- CSE 411Introduction to Computer Systems AdministrationModerate · 28 ratings · 4.6 out of 5
- CSE 421Compiler DesignHard · 47 ratings · 4.0 out of 5
- CSE 426Blockchain Application DevelopmentModerate · 6 ratings · 3.0 out of 5
- CSE 429Algorithms for Modern Computing SystemsHard · 22 ratings · 4.3 out of 5
- CSE 442Software EngineeringModerate · 38 ratings · 3.6 out of 5
How Computer Science and Engineering classes rate at UB
0–100 scores from ratings across the web
Highest rated
Easiest
Written reviews
No written reviews of CSE 413 yet
Took it? Add yours when you have a couple of minutes. Anonymous, no account, no email.