GrAPE

Graphical Assistant for Prerequisite Enrollment

CSE department

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.