P424 Advanced Functional Programming
Prerequisite(s): CSCI-C 311.
This course teaches advanced techniques for functional programming, which can be used to make programs easier to read and compose. These techiniques include equational reasoning, types, monads, and code generation. Some of them are useful even when using a "non-functional" language. Some of them are drawn from cutting-edge research.
Instructor: Sam Tobin-Hochstadt
Time: Multiple Times
Location: Multiple Locations
Course URL (syllabus link or course homepage)