|
Week
|
Dates
|
Topic
|
Reading
|
|---|
|
1
|
n/a
|
9/10
|
Welcome
|
--
|
|
2
|
9/14
|
9/17
|
Programming and Induction
|
on-line notes
|
|
3
|
9/21
|
9/24
|
Abstract Syntax, Reduction Semantics, Theorems
|
I.1 & I.2
|
|
4
|
9/28
|
10/1
|
Redex: Basics
|
II.11 & II.12
|
|
5
|
10/5
|
10/8
|
LC & ISWIM
|
I.3 & I.4
|
|
6
|
10/12
|
10/15
|
An Abstract Syntax Machine
|
I.5
|
|
7
|
10/19
|
10/22
|
Redex: Testing & Debugging
|
II.14 & II.15
|
|
8
|
10/26
|
10/29
|
Abstract Register Machines
|
I.6
|
|
9
|
11/2
|
11/5
|
Control
|
I.8
|
|
10
|
11/9
|
11/12
|
Control, State & Memory
|
I.9
|
|
11
|
11/16
|
11/19
|
Types and Subjection Reduction
|
I.10
|
|
12
|
11/23
|
11/26
|
Project Presentations
|
--
|
|
13
|
11/30
|
12/3
|
Project Presentations
|
--
|
|
14
|
12/7
|
n/a
|
Project Presentations
|
--
|
There will be no class on the
dates in red.
The topics are in sync with chapter/section titles in the textbook.
You are expected to read the relevant pieces ahead of time.