CS 252r Schedule

This schedule will be updated once or twice per week. The web page is generated by a cron job; in case of catastrophic failure, please notify nr@eecs.harvard.edu.

Mon, Sep 18
Opening exercise: embedded languages

Additional papers handed out in class:
Wed, Sep 20
No class (postponed to September 22)
Fri, Sep 22
Course Introduction
Mon, Sep 25
Why functional programming matters
Read:
Wed, Sep 27
Deeper into laziness
Read:
Additional papers handed out in class:
Mon, Oct 2
Higher-order functions and combinators
Read: Useful background reading before class:
Additional papers handed out in class:
Wed, Oct 4
Group exercise: impurity in a pure world
Mon, Oct 9
No class (Columbus Day)
Wed, Oct 11
Monad mania
Read: Useful background reading before class:
Mon, Oct 16
The other face of monads
Read:
Additional papers handed out in class:
Wed, Oct 18
An alternative approach to I/O
Read: Useful background reading before class:
Mon, Oct 23
Present project code: parsing and interpretation
Useful background reading before class:
Wed, Oct 25
Overloading
Read:
Mon, Oct 30
Overloading
Read: Useful background reading before class:
Additional papers handed out in class:
Wed, Nov 1
Advanced type inference: Hindley-Milner with constraints
Read: Useful background reading before class:
Additional papers handed out in class:
Mon, Nov 6
Advanced type inference: Types of higher rank
Read: Useful background reading before class:
Wed, Nov 8
Advanced type inference: Types of higher rank in practice
Read:
Additional papers handed out in class:
Mon, Nov 13
Polymorphic functions of rank 2 and up
Read:
Additional papers handed out in class:
Wed, Nov 15
Present project code: type inference and type checking
Mon, Nov 20
Generalizing algebraic data types
Read: Useful background reading before class:
Additional papers handed out in class:
Wed, Nov 22
Generalizing algebraic data types
Read: Useful background reading before class:
Mon, Nov 27
Implementation topic: A-normal form
Read: Useful background reading before class:
Additional papers handed out in class:
Wed, Nov 29
Automatic construction of code: generic programming
Read:
Additional papers handed out in class:
Mon, Dec 4
Complete, working compilers due
Automatic construction of code: generic programming
Read: Useful background reading before class:
Additional papers handed out in class:
Wed, Dec 6
Dependent types
Read: Useful background reading before class:
Additional papers handed out in class:
Mon, Dec 11
More dependent types
Read:
Additional papers handed out in class:
Wed, Dec 13
Discussion: how to make projects interesting using Advanced Functional Programming techniques
Fri, Dec 15
Discussion: best papers (note class will be from 1:30 to 3:30 in MD 223)
Mon, Dec 18
No class (already held on December 15)