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)
10 Mar SPRING BREAK
12 Mar SPRING BREAK
16 17 Mar Modular programming I: Signatures and Structures
17 19 Mar Modular programming II: Invariants of Red/Black Trees
18 24 Mar Modular programming III: Functors
19 26 Mar Parallelism, Cost Semantics, Sequences
20 31 Mar Case study: gravitational simulation
21 2 Apr Case study: two-person games I
22 7 Apr Case study: two-person games II
9 Apr SPRING CARNIVAL
23 14 Apr Lazy programming
24 16 Apr Imperative programming
25 21 Apr Introduction to Context-Free Grammars and Parsing
26 23 Apr Introduction to Computability
27 28 Apr TBA
28 30 Apr 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 midterms/quizzes.

last modified 14:09, 03 Mar 2015
Valid CSS! Valid XHTML 1.0 Strict