15-150: Functional Programming, Fall 2014

Schedule of Lectures

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
Valid CSS! Valid XHTML 1.0 Strict