Number | Date | Topics Covered | Notes and Readings | |
---|---|---|---|---|

01 | Aug 26 | Introduction | notes, slides | |

02 | Aug 28 | Expressions, Types, and Pattern Matching | notes, slides | |

03 | Sep 2 | Specifications and Proofs | notes, slides | |

04 | Sep 4 | Using Induction | notes, slides | |

05 | Sep 9 | Recurrences and Asymptotic Analysis | notes, slides | |

06 | Sep 11 | Recurrences and Asymptotic Analysis | notes, slides | |

07 | Sep 16 | Sorting Integer Trees | notes, slides | |

08 | Sep 18 | Types and Polymorphism | notes, slides | |

09 | Sep 23 | Higher order functions | notes on structural induction, slides | |

10 | Sep 25 | Higher order functions | notes, slides | |

11 | Sep 30 | Using Higher order functions | notes,slides | |

12 | Oct 2 | Using Higher order functions | notes,slides | |

13 | Oct 7 | Regular Expressions | notes,slides | |

14 | Oct 9 | Exceptions | notes,slides | |

15 | Oct 14 | Structures and Signatures | notes,slides | |

16 | Oct 21 | Functors | notes,slides | |

17 | Oct 23 | Modular Programming | notes,slides | |

18 | Oct 28 | Parallelism, Cost Semantics, and Sequences | notes,slides | |

19 | Oct 30 | Using Sequences: Gravitation | notes,slides |

last modified 15:32, 30 Oct 2014