This schedule is preliminary.
It will be adjusted on the fly, depending on circumstances.
|
Week
|
Dates
|
Topic
|
Reading
|
|---|
|
1
|
n/a
|
09/07
|
Welcome
|
--
|
|
2
|
09/11
|
09/14
|
Abstract Syntax, Programming with Redex
|
II.11 & II.12 & II.A &
`Quote, Unquote'
|
|
3
|
09/18
|
09/21
|
More Programming with Redex, Induction
|
II.13 & II.14
|
|
4
|
09/25
|
09/28
|
Reduction Semantics, Theorems
|
I.1 & I.2
|
|
5
|
10/02
|
10/05
|
The Lambda Calculus & ISWIM
|
I.3 & I.4
|
|
6
|
10/09
|
10/12
|
An Abstract Syntax Machine
|
I.5
|
|
7
|
10/16
|
10/19
|
Types and Subjection Reduction
|
I.10
|
|
8
|
10/23
|
10/26
|
Abstract Register Machines
|
I.6
|
|
9
|
10/30
|
11/02
|
State and Memory
|
I.9
|
|
10
|
11/06
|
11/09
|
Exceptions
|
I.8
|
|
11
|
11/13
|
11/16
|
Control & slack --
|
I.8
|
|
12
|
11/20
|
-- --
| |
--
|
|
13
|
11/27
|
-- --
| |
Delgir & Koh; Chen & Unlu
|
|
--
|
|
14
|
11/27*
|
-- --
| |
--
|
|
15
|
-- --
|
11/30
| |
McGrath & Garg; Ma & Ramachandran
|
|
--
|
|
16
|
12/04
|
-- --
| |
Chen & Shen; Samanta & Clarke-Lauer
|
|
--
|
|
17
|
-- --
|
12/07
| |
Bowman & Kazemi-Nafchi; Marquez & Muehlboeck
|
|
--
|
There will be no class on the
dates in red.
The
dates in blue
indicate that there are two entries for one date.
The * date is an afternoon presentation slot, 4:00-5:30pm, WVH 366.
See the table of contents in the textbook for refinement of topics.
You are expected to read the relevant pieces ahead of time.