Week Date Topic/Part Reading Homework
    Part 0: Foundations    
1 Tue, Sep 1 Recurrence relations Intro to Algorithms: 4 Assignment 1 out
  Thu, Sep 3 Amortized analysis Intro to Algorithms: 4  
2 Tue, Sep 8 Cost Semantics I PFPL 37; Types with Potential: 3  
  Thu, Sep 10 Cost Semantics II PFPL 37; Types with Potential: 3  
3 Tue, Sep 15 Cost Semantics III PFPL 37; Types with Potential: 3 Assignment 1 due Assignment 2 out
  Thu, Sep 17 Type Inference ATTAPL: 10  
4 Tue, Sep 22 Unification ATTAPL: 10  
  Thu, Sep 24 Let Polymorphism ATTAPL: 10  
5 Tue, Sep 29 Substructural Type Systems ATTAPL: 1 Assignment 2 due
    Part 1: Resource-Aware Languages    
  Thu, Oct 1 From System T to System BC -  
6 Tue, Oct 6 System BC - Assignment 3 out
  Thu, Oct 8 Precious Little Diamonds Martin Hofmann’s paper  
7 Tue, Oct 13 Linear AARA I Types with Potential: 4  
  Thu, Oct 15 Linear AARA II Types with Potential: 4  
8 Tue, Oct 20 Type Inference for Linear AARA I Types with Potential: 4 Assignment 4 out Assignment 3 due
  Thu, Oct 22 Type Inference for Linear AARA II Types with Potential: 4  
9 Tue, Oct 27 Univariate Polynomial AARA Types with Potential: 5  
  Thu, Oct 29 Polymorphic Recursion and Resource Aware ML Types with Potential: 6 raml.co  
10 Tue, Nov 3 Multivariate Polynomial AARA(recording only; go vote!) Types with Potential: 6 Paper  
    Part 2: Probabilistic Programming    
  Thu, Nov 5 Probability Theory and Probabilistic Programs   Assignment 4 due
11 Tue, Nov 10 A Type System for Bounds on Expected Cost Paper; Kozen’s paper  
  Thu, Nov 12 Semantics of probabilistic programs Paper  
    Part 3: Nomos: A Language for Digital Contracts    
12 Tue, Nov 17 Blockchains and Smart Contracts UIUC Course  
  Thu, Nov 19 Session Types 15-816  
13 Tue, Nov 24 No lecture (Thanksgiving)    
  Thu, Nov 26 No lecture (Thanksgiving)    
14 Tue, Dec 1 Resource-Aware Session Types Paper  
  Thu, Dec 3 Shared Session Types Paper  
15 Tue, Dec 8 Nomos Paper  
  Thu, Dec 10 Final project presentations