CSE230 Fa16 - Lectures

Date Topic Notes
9/23 Introduction & The Lambda Calculus pdf pdf html notes
9/30 From Lambda-Calculus to Haskell pdf hs
10/7 Higher-Order Functions html hs
10/10 (contd.) html hs
10/12 Typeclasses html hs
10/17 Functors and Monads html hs
10/31 Parser Combinators html hs
11/4 Property-based Testing html hs
11/9 Monad Transformers html hs
11/18 Concurrency html hs pdf
11/23 Type Inference html hs
11/30 Refinement Types html hs