Readings
This list will be expanded throughout the semester.
| A. | Wed 21 Aug: | Haskell functions |
| B. | Mon 27 Aug: | Haskell types |
| C. | Wed 29 Aug: | Haskell tuples & lists |
| D. | Wed 5 Sep: | Persistent data structures |
| E. | Fri 7 Sep: | Lambda calculus |
| F. | Mon 17 Sep: | Binding time |
| G. | Fri 21 Sep: | Tail recursion |
| H. | Mon 24 Sep: | Program proofs |
| I. | Mon 1 Oct: | Haskell monads |