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)