15-150: Functional Programming, Spring 2018

Schedule of Lectures

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


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

Disclaimer: All topics and dates are subject to minor change.

last modified 20:29, 20 Feb 2018
Valid CSS! Valid XHTML 1.0 Strict