...
Week | Day | Date | Topic | Work Assigned | Work Due | ||
---|---|---|---|---|---|---|---|
1 | Tu | Aug 21 | |||||
Th | Aug 23 | Computation by Reduction, Types | Homework 0 | ||||
2 | Tu | Aug 28 | |||||
Th | Aug 30 | Programming with Intention, The Design Recipe | |||||
3 | Tu | Sep 04 | Conditionals, Functions on Ranges & Point Values, Compound Data | ||||
Th | Sep 06 | Methods, Objects, Grading | Homework 0 | ||||
4 | Tu | Sep 11 | Homework 1 | ||||
| Th | Sep 13 | |||||
5 | Tu | Sep 18 | |||||
| Th | Sep 20 | |||||
6 | Tu | Sep 25 | Homework 2 | Homework 1 | |||
| Th | Sep 27 | |||||
7 | Tu | Oct 02 | Type Hierarchy, Variance, Generic Map Function | ||||
| Th | Oct 04 | |||||
8 | Tu | Oct 09 | Midterm Recess (no classes) | ||||
| Th | Oct 11 | Homework 3 | Homework 2 | |||
9 | Tu | Oct 16 | Scala Collections Classes, Traits*Accumulators | ||||
| Th | Oct 18Generative Recursion* | |||||
10 | Tu | Oct 23 | Growing a Language, by Guy L. Steele, Jr. | ||||
| Th | ||||||
11 | Tu | Oct 30 | Homework 4 | Homework 3 | |||
| Th | Nov 01 | Homework 4 | Homework 3 | |||
12 | Tu | Nov 06 | |||||
| Th | Nov 08Mechanical Proof Checking, The Curry-Howard Isomorphism* | ... | ||||
13 | Tu | Nov 13 | Homework 5 | Homework 4 | |||
| Th | Nov 15 | Homework 5 | Homework 4 | |||
14 | Tu | Nov 20More Parser Combinators, Actors and Concurrency* | Videos: What to Leave Implicit and Impromptu | ||||
| Th | Nov 22 | Thanksgiving Holiday (no classes) | ||||
15 | Tu | Nov 27 | |||||
Th | Nov 29Videos: What to Leave Implicit and Impromptu* | Course Wrap-up | Homework 5 | ||||
16 | Tu | Dec 04 | Study Day (no classes) | ||||
| F | Dec 07 | Final Exam: 2–5pm (awaiting room from registrar's office)in Duncan Hall 1075 |
* Lectures slides not yet updated from last year are marked with an asterisk.
** The place and time of the final exam is set by the registrar. The current scheduling details are available on the registrar's page for this course.