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. Restricted to students within the CS75, CS78, CS89, CS88, CS77, CS80, CS81, CS83, and CS76 majors. All other students will be allowed as space permits.
Prerequisite courses
CSE 230 has no prerequisite courses.
Successor courses
No courses have CSE 230 as a prerequisite.