 | | | | |
Home»Graduate Education»Courses»Graduate Course Descriptions»CSE230
| | | | | Graduate Course Descriptions
CSE230 - Principles of Programming Languages
(Formerly CSE 273)
Units: 4
Course Description:
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.
| | | back to top ^ |
| |
