Schedule

when/where/what

The following schedule is approximate. Please listen for announcements in class; also see Blog.

Date

Topic

Readings

Problem Set

01/13 T

Welcome; Syntax

I.1.1-4

01/16 F

Reduction Semantics

I.1.5-7

Basic Programming

01/20 T

Redex

II.A, II.11, II.12

01/23 F

More Redex

Quote, Unquote

Redex Programming

01/27 T

SNOW CANCELLATION

01/30 F

The Lambda Calculus

I.3

Redex Modeling

02/03 T

Reduction Semantics

I.2

02/06 F

Evaluation Contexts, Reduction

02/10 T

SNOW CANCELLATION

02/13 F

ISWIM

I.4

Reduction Relations

02/17 T

Induction

02/20 F

Types

I.10

Standard Reductions

02/24 T

Subject Reduction

02/27 F

Products, sums, recursion, and more

Type Checking

03/3 T

State and Memory

03/6 F

More State and Memory

I.9

03/17 T

Type Checking Mutable Memory

03/20 F

NO CLASS, PhD open house

03/24 T

Abstract Machines

I.7

03/27 F

More Abstract Machines

03/31 T

Control: Errors

I.8

04/03 F

Control: Exceptions

I.8

04/07 T

no class

04/10 F

Clancy & Pais, Dong & Wang

Chosen Projects

04/14 T

Gualtieri & LaChance, Greenman & Cobb

Chosen Projects

04/17 F

Anderton & Aziz, Bashir & Rynderman

Chosen Projects

04/20 M

Panda & Viereck, Zhang & Zhong

Chosen Projects

04/21 T

Saksono & Shamekhi, Andersen

Chosen Projects

04/24 F

Irannejad-Bisafar & Liaee

Chosen Projects

There will be no class on the dates in red.

See the table of contents in the textbook for refinement of topics. You are expected to read the relevant pieces ahead of time.