Computer Science and Engineering
CSE 114A Foundations of Programming Languages
Problem solving emphasizing recursion, data abstraction, and higher-order functions. Introduction to types and type checking, modular programming, and reasoning about program correctness. (Formerly CSE 116, Introduction to Functional Programming.)
Quarter offered
Fall, Winter, Spring
Instructor
Owen Arden, Lindsey Kuper, Cormac Flanagan