Date

Topic

Notes

HW

2 Feb

IMP/Operational Semantics

lecture 1


7 Feb

IMP/Rules and Induction

lecture 2

hw 1

9 Feb

IMP/Denotational Semantics

lecture 3


14 Feb

IMP/Adequacy and Analysis

lecture 4

hw 2

16 Feb

Axiomatic Semantics

lecture 5

hw 3

21 Feb

NO CLASS



23 Feb

More Axiomatic Semantics (Amal
Ahmed)



28 Feb

SimplyTyped Lambda Calculus
(Matthew Fluet)

lecture 7

hw 4

2 Mar

More Typed Lambda Calculus
(Matthew Fluet)

lecture 8


7 Mar

Denotational and Algebraic Semantics

lecture 9


9 Mar

Exceptions, Stacks

lecture 10


14 Mar

CPS Conversion

lecture 11

hw 5

16 Mar

Polymorphism

lecture 12


21 Mar

Impredicativity

lecture 13


23 Mar

More Impredicativity & Representation Independence

lecture 14


28 Mar

Spring Break



30 Mar

Spring Break



4 Apr

Implementing Polymorphism

lecture 15

hw 6

6 Apr

Fomega

lecture 16


11 Apr

Recursive Functions

lecture 17


13 Apr

Recursive Types (I)

lecture 18


18 Apr

The Indexed Model

lecture 19


20 Apr

More Indexed Model



25 Apr

Allocation Semantics

lecture 21

hw 7

27 Apr

Labelled Transition Semantics

lecture 22


2 May

Substructural Typing

lecture 23


4 May

Spatial Logic


