| 1 |
Tue, Sep 3 |
Recurrence relations, amortized analysis |
Intro to Algorithms: 4 |
Homework 1 out |
| |
Thu, Sep 5 |
Amortized Analysis and Static Semantics |
Types with Potential: 3; PFLP: 37 |
|
| 2 |
Tue, Sep 10 |
Cost semantics |
PFLP |
|
| |
Thu, Sep 12 |
Cost semantics |
PFLP |
|
| 3 |
Tue, Sep 17 |
Type inference |
ATTAPL: 10 |
Homework 1 due Homework 2 out |
| |
Thu, Sep 19 |
Unification |
ATTAPL: 10 |
|
| 4 |
Tue, Sep 24 |
Let polymorphism |
ATTAPL: 10 |
|
| |
Thu, Sep 26 |
Substructural type systems |
ATTAPL: 1 |
|
| 5 |
Tue, Oct 1 |
From System T to System BC |
|
Homework 2 due |
| |
Thu, Oct 3 |
Precious little diamonds |
Martin Hofmann’s paper |
|
| 6 |
Tue, Oct 8 |
Precious little diamonds |
Martin Hofmann’s paper |
Homework 3 out |
| |
Thu, Oct 10 |
Linear AARA |
Types with Potential: 4 |
|
| 7 |
Tue, Oct 15 |
Linear AARA |
Types with Potential: 4 |
|
| |
Thu, Oct 17 |
No lecture (Jan’s away) |
|
|
| 8 |
Tue, Oct 22 |
Soundness of Linear AARA and Product Types |
Types with Potential: 4 |
Homework 4 out |
| |
Thu, Oct 24 |
Type Inference for Linear AARA |
Types with Potential: 4 |
Homework 3 due |
| 9 |
Tue, Oct 29 |
AARA with Sums and Recursive Types |
Paper |
|
| |
Thu, Oct 31 |
Univariate polynomial AARA and polymorphic recursion |
Types with Potential: 5 |
|
| 10 |
Tue, Nov 5 |
Multivariate resource polynomials |
Types with Potential: 6 |
Homework 4 due |
| |
Thu, Nov 7 |
Multivariate polynomial AARA |
Types with Potential: 6 |
|
| 11 |
Tue, Nov 12 |
Resource Aware ML |
Paper |
|
| |
Thu, Nov 14 |
Probability theory and probabilistic programs |
|
|
| 12 |
Tue, Nov 19 |
A type system for bounds on expected cost |
Kozen’s paper |
|
| |
Thu, Nov 21 |
Semantics of probabilistic programs |
|
|
| 13 |
Tue, Nov 26 |
No lecture (Thanksgiving) |
|
|
| |
Thu, Nov 28 |
No lecture (Thanksgiving) |
|
|
| 14 |
Tue, Dec 3 |
Nomos: A language for digital contracts |
Paper |
|
| |
Thu, Dec 5 |
Final project presentations |
|
|