CMSC 488B: Advanced Functional Programming
Tuesday & Thursday, 2.00pm Eastern - 3.15pm Eastern
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.
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.