CSE 230. Principles of Programming Languages (4 units)
Link to catalog page: https://catalog.ucsd.edu/courses/CSE.html#cse230
Description
(Formerly CSE 273.) Functional versus imperative programming. Type systems and polymorphism; the ML language. Higher order functions, lazy evaluation. Abstract versus concrete syntax, structural and well-founded induction. The lambda calculus, reduction strategies, combinators. Denotational semantics, elementary domain theory. Prerequisites: CSE 130 or equivalent, or consent of instructor.
Prerequisite courses
Loading...
Successor courses
No courses have CSE 230 as a prerequisite.