About
This course teaches advanced techniques for functional programming, which can be used to make programs easier to read and compose. These techniques 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.
Resources