COS326:Functional Programming

An introduction to the principles of typed functional programming. Programming recursive functions over structured data types and informal reasoning by induction about the correctness of those functions. Functional algorithms and data structures. Principles of modular programming, type abstraction, representation invariants and representation independence. Parallel functional programming, algorithms and applications.

---

Semester: Fall24
Lectures: Monday,Wednesday 10:00 - 10:50
Location: TBD

Faculty

---

Andrew Appel
Office: Computer Science 209
Extension: 4627
Email: appel

Additional Information

---

Registrar's Fall24 COS offerings
CS Course Schedule
The Undergrad Coordinator is Colleen Kenny.
Email: ckenny
Office: Computer Science 210
Extension: 1746