- Tue, 08/29: intro Haskell 101
- Tue, 09/05: No class: ICFP.
- Thu, 09/07: No class: ICFP.
- Tue, 09/12: Lazy + HO examples
- Thu, 09/14: Functional Sorting, The real world
- Tue, 09/19: Type Classes
- Thu, 09/21: Monoids & Foldables (& Kinds)
- Tue, 09/26: How to Architect Haskell Applications by Jasper Van der Jeugt
- Thu, 10/03: Functors & Applicatives
- Tue, 10/10: Tournament.
- Thu, 10/12: Monads
- Tue, 10/17: Project Proposal.
- Tue, 10/24: Testing
- Thu, 10/26: Yesod by James Parker
- Tue, 10/31: Dependent Haskell
- Thu, 11/02: Liquid Haskell
- Tue, 11/07: Project Updates.
- Thu, 11/09: Termination
- Thu, 11/14: Programs as Proofs
- Thu, 11/16: How ghc is implemented? by Joachim Breitner
- Tue, 11/21: HW4 due, Monad Tranformers by David Darais
- Thu, 11/23: No class: Thanks Giving.
- Tue, 11/28: Software Transactional Memory by Jose Calderon
- Thu, 11/30: Natural Deduction
- Tue, 12/05: Project Presentation.
- Thu, 12/07: Project Presentation.