15-150: Functional Programming, Spring 2017

Schedule of Lectures

<
Number  Date     Topics Covered Notes and Readings
01 17 Jan Introduction, Equivalence, Evaluation, Typing, Binding, Scope   lecture 01
02 19 Jan Functions   lecture 02
03 24 Jan Recursion and Induction   lecture 03
04 26 Jan Lists, Tail Recursion, Structural Induction   lecture 04
05 31 Jan Trees and Structural Induction   lecture 05
06 2 Feb Asymptotic Analysis  lecture 06
07 7 Feb Sequential Sorting   lecture 07
08 9 Feb Parallel Sorting   lecture 08
09 14 Feb Polymorphism and Parametrized Datatypes   lecture 09
10 16 Feb Higher-Order Functions   lecture 10
11 21 Feb Combinators, Staging   lecture 11
23 Feb MIDTERM EXAM #1
12 28 Feb Continuations   lecture 12
13 2 Mar Exceptions   lecture 13
14 7 Mar Regular Expressions   lecture 14
15 9 Mar Regular Expressions (cont)   lecture 15
14 Mar SPRING BREAK
16 Mar SPRING BREAK
16 21 Mar Modular programming I: Signatures and Structures   lecture 16
17 23 Mar Modular programming II: Functors   lecture 17
18 28 Mar Modular programming III: Invariants of Red/Black Trees   lecture 18
19 30 Mar Parallelism, Cost Semantics, Sequences
4 Apr MIDTERM EXAM #2
20 6 Apr Case study: two-person games I
21 11 Apr Case study: two-person games II
22 13 Apr Lazy programming
23 18 Apr Imperative programming
20 Apr SPRING CARNIVAL
24 25 Apr Introduction to Context-Free Grammars and Parsing
25 27 Apr Introduction to Computability
26 2 May TBA (usually a distinguished lecturer)
27 4 May Review
FINAL EXAM -- To BE ANNOUNCED


The "Notes and Readings" field will usually be blank until it is updated after lecture.

Disclaimer: All topics and dates are in flux, as are the number and dates of exams.

last modified 16:16, 28 Mar 2017
Valid CSS! Valid XHTML 1.0 Strict