CSE230 Wi15 - Lectures



Date Topic Notes
1/6 Introduction pdf hs lhs
1/8 Higher-Order Functions html hs
1/13 Polymorphism html hs
1/15 Typeclasses html hs
1/20 Monoids & Functors html hs
1/22 Monads html hs
2/10 Parser Combinators html hs
2/17 Testing html hs
2/19 Concurrency pdf hs html
2/24 Lambda Calculus pdf
3/3 Hindley-Milner html hs
3/5 Refinement Types html pdf VM
3/10 (contd.)
3/12 (contd.)