Home
CMSC 488B: Advanced Functional Programming
Spring 2022
Lectures:
Tuesday & Thursday, 2.00pm Eastern - 3.15pm Eastern
CSI 3118
Description:
Students will be introduced to a range of modern software engineering practices, in particular those embodied in typed, functional programming languages. Basic knowledge of functional programming in the form of OCaml (from 330) is assumed, but not prior knowledge of Haskell. Basic topics will include typeclasses, monads, and property-based testing; advanced topics may include high-level type system features such as GADTs, verification with Liquid Haskell, and practical application development, with invited talks from industry and academia experts.
Staff:
| Name | Hours | |
|---|---|---|
| Leonidas Lampropoulos | leonidas@umd.edu | TBA |
| Justin Frank | jpfrank@umd.edu | TBA |
| Pierce Darragh | pdarragh@umd.edu | TBA |
Disclaimer: All information on this web page is tentative and subject to change. Any substantive change will be accompanied with an announcement to the class via ELMS.