15-150: Functional Programming, Spring 2015

Schedule of Lectures

Number  Date     Topics Covered Notes and Readings
01 13 Jan Introduction, Equivalence, Evaluation, Typing, Binding, Scope   lecture 01
02 15 Jan Functions   lecture 02
03 20 Jan Recursion and Induction   lecture 03
04 22 Jan Lists, Tail Recursion, Structural Induction   lecture 04
05 27 Jan Trees and Structural Induction   lecture 05
06 29 Jan Asymptotic Analysis   lecture 06
07 3 Feb Sequential Sorting   lecture 07
08 5 Feb Parallel Sorting   lecture 08
09 10 Feb Polymorphism and parametrized datatypes   lecture 09
10 12 Feb Higher-Order Functions   lecture 10
11 17 Feb Combinators, Staging   lecture 11
12 19 Feb Continuations   lecture 12
13 24 Feb Exceptions   lecture 13
26 Feb MIDTERM EXAM --- Location: McConomy Auditorium in the UC
14 3 Mar Regular Expressions   lecture 14
15 5 Mar Regular Expressions (cont)   lecture 15
10 Mar SPRING BREAK
12 Mar SPRING BREAK
16 17 Mar Modular programming I: Signatures and Structures   lecture 16
17 19 Mar Modular programming II: Invariants of Red/Black Trees   lecture 17
18 24 Mar Modular programming III: Functors   lecture 18
19 26 Mar Parallelism, Cost Semantics, Sequences   lecture 19
20 31 Mar Case study: gravitational simulation   lecture 20
21 2 Apr Case study: two-person games I   lecture 21
22 7 Apr Case study: two-person games II   lecture 22
23 9 Apr Lazy programming   lecture 23
24 14 Apr Imperative programming   lecture 24
16 Apr SPRING CARNIVAL
25 21 Apr Introduction to Context-Free Grammars and Parsing   lecture 25
26 23 Apr Introduction to Computability   lecture 26
27 28 Apr (Tentative  Confirmed)  Special Lecture by  Dr. Jeannette Wing   Formal Methods
28 30 Apr Review   Unwind
FINAL EXAM -- Thursday, May 7, 1:00-4:00pm -- Location: McConomy Auditorium in the UC


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 midterms/quizzes.

last modified 15:22, 07 May 2015
Valid CSS! Valid XHTML 1.0 Strict