...
Week | Day | Date | Topic | Work Assigned | Work Due |
---|---|---|---|---|---|
1 | Tues | Aug 23 | |||
Thur | Aug 25 | What are Types, Core Scala | Hwk 0 | ||
2 | Tues | Aug 30 | |||
Thurs | Sep 01 | Functions on Ranges, Point Values, Compound Datatypes | |||
3 | Tues | Sep 06 | |||
Thur | Sep 08 | Abstract Datatypes | Hwk 1 | ||
4 | Tues | Sep 13 | |||
| Thur | Sep 15 | |||
5 | Tues | Sep 20 | |||
| Thurs | Sep 22 | Hwk 2 | Hwk 1 | |
6 | Tues | Sep 27 | |||
| Thur | Sep 29 | |||
7 | Tues | Oct 04 | For Expressions, Monads, The Environment Model | ||
| Thurs | Oct 06 | Hwk 3 | Hwk 2 | |
8 | Tues | Oct 11 | MIDTERM RECESS | ||
| Thur | Oct 13 | |||
9 | Tues | Oct 18 | Call-by-Name, Type Environments, Generative Recursion | ||
| Thur | Oct 20 | Red Black-Trees Continued, Stream ProcessingStrategies for Generative Recursion | Hwk 4 | Hwk 3 |
10 | Tues | Oct 25 | Guest Lecture: TBDAccumulators | ||
| Thur | Oct 27 | Variable Assignment and Environments | ||
11 | Tues | Nov 01 | Mutable Objects, Equality, Memoization | ||
| Thur | Nov 03 | The State Monad, Mechanical Proof Checking | Hwk 5 | Hwk 4 |
12 | Tues | Nov 08 | Programs as Proofs and the Curry Howard Isomorphism | ||
| Thur | Nov 10 | Additional Scala Features, Extractors, Parser Combinators | ||
13 | Tues | Nov 15 | More Parser Combinators, Actors and Concurrency | ||
| Thur | Nov 17 | Tactical Theorem Proving | Hwk 6 | Hwk 5 |
14 | Tues | Nov 22 | Guest Lecture: TBD | ||
| Thur | Nov 24 | THANKSGIVING | ||
15 | Tues | Nov 28 | Functional Distributed Computing | ||
Thur | Dec 01 | Course Wrap Up | Hwk 6 |