|
Week
|
Dates
|
Topic
|
Reading
|
|---|
|
1
|
n/a
|
09/09
|
Welcome
|
--
|
|
2
|
09/13
|
09/16
|
Abstract Syntax, Programming with Redex
|
II.11 & II.12 & II.A &
`Quote, Unquote'
|
|
3
|
09/20
|
09/23
|
More Programming with Redex, Induction
|
II.13 & II.14
|
|
4
|
09/27
|
09/30
|
Reduction Semantics, Theorems
|
I.1 & I.2
|
|
5
|
10/04
|
10/07
|
The Lambda Calculus & ISWIM
|
I.3 & I.4
|
|
6
|
10/11
|
10/14
|
An Abstract Syntax Machine
|
I.5
|
|
7
|
10/18
|
10/21
|
Types and Subjection Reduction
|
I.10
|
|
8
|
10/25
|
10/28
|
Abstract Register Machines
|
I.6
|
|
9
|
11/01
|
11/04
|
State and Memory
|
I.9
|
|
10
|
11/08
|
11/11
|
Exceptions
|
I.8
|
|
11
|
11/15
|
11/18
|
Control & slack --
|
I.8
|
|
12
|
11/22
|
11/25
| |
Maryam Aziz and Do Hyong Koh
| |
Matthew Ekstrand-Abueg and Travis Mayberry
|
|
--
|
|
13
|
11/29
|
12/02
| |
Ancsa Hannk and Scott Roche
| |
Jonathan Schuster and Henry Roth
| |
James Perconti and Justin Slepak
| |
Tim Smith and Mitesh Jain
|
|
--
|
|
14
|
12/05
|
12/09
| |
Yue Huang and Phil Nguyen
| |
Arash Kahki and Triet Vo-Huu
| |
Tony Lazenka and Liang Zhang
| |
Zahra Jafargholi and Hamid R. Jahanjou
|
|
--
|