...
Week | Day | Date | Lecture Topic and Resources | Work Assigned | Work Due |
|---|---|---|---|---|---|
| Tu | Aug 27 | Motivation and the Elements (Constants) of Racket | HTDP Part 1 (Ch 1-8) | Sep 03 | |
| Th | Aug 29 | [Canceled for Hurricane Laura] | Sep 05 | ||
| Tu | Sep 01 | Conditionals, Function Definitions and Computation by Reduction | Review Ch 8 HTDP Part 2 (Ch 9-10) | Sep 08 | |
| 3 | Th | Sep 03 | The Program Design Recipe for Racket focusing on recursion on processing lists and natural numbers | Preface, 9.4 HTDP Part 2 (Ch 11-13) | Sep 10 |
| Tu | Sep 08 | Data Definitions, Data-driven Structural Recursion, | HTDP Part 3 | Sep 16 | |
| 5 | Th | Sep 10 | Mutually Recursive Definitions and Help Functions | HTDP Ch 15-17 | Sep 17 |
| Tu | Sep 15 | Local Definitions and Lexical Scope | HTDP Parts 5-6 | Sep 23 | |
| Th | Sep 17 | Lambda the Ultimate and Reduction Semantics | LawsOfEval.pdf | Sep 26 | |
8 | Tu | Sep 19
| Functional Abstraction and Polymorphism | Oct 6 | |
9 | Th | Sep 24 | Functions as Values | Homework 4 | Oct 5 |
10 | Tu | Sep 29 | Generative (Non-structural) Recursion
| Oct 6 | |
11 | Th | Oct 01 | Lazy Evaluation and Non-strict Constructors | ||
12 | Tu | Oct 06 | Techniques for Implementing Lazy Evaluation | Homework 5 | Oct 14 |
13 | Th | Oct 08 | A Glimpse at Imperative Raceket and Memoization | ||
| Tu | Oct 13 | Racket Review | ||
13 | Th | Oct 15 | On to Java! | OO Design Notes | |
| Fri | Oct 16 | Midterm | |||
14 | Tu | Oct 22 | Adapting the HTDP Design Recipe to Java | Homework 6 | Oct 27 |
15 | Th | Oct 24 | Generic Types in Java | ||
16 | Tu | Oct 29 | Anonymous class instances vs anonymous functions | Homework 8* | Nov 12 |
17 | Th | Oct 31 | Pure Lambda Calculus; Call-by-value vs call-by-name | ||
18 | Tu | Nov 05 | Typed Lambda Calculus | Homework 9# | Nov 12 |
19 | Th | Nov 07 | Polymorphic Lambda Calculus & Implicitly Polymorphic Lambda Calculus | ||
20 | Tu | Nov 12 | Core Haskell (call-by-name) | Homework 10 | Nov 19 |
21 | Th | Nov 14 | Haskell Pattern Matching | ||
22 | Tu | Nov 19 | Haskell Type Classes | Homework 11 | Dec 16 |
23 | Th | Nov 21 | Racket letcc; Semantics of Haskell Exceptions |
...