Advanced Topics in Programming Languages
CIS 670, Fall 2016
Instructor: Stephanie Weirich
Time: TR 1:30-3PM
Location: Towne 319
Textbook: Practical Foundations for Programming Languages
Prerequisite: CIS 500 or PhD student status
Schedule
Date | Speaker | Lecture Topic | Notes |
---|---|---|---|
8/30 | Stephanie | Intros, Locally nameless | 083016.md |
9/1 | Stephanie | Abstract binding trees | 090116.md |
9/6 | Stephanie | Cofinite quantification | 090616.md |
9/8 | Stephanie | Structural rules | 090816.md |
9/13 | Stephanie | More typing & evaluation | 091316.md |
9/15 | Stephanie | Type soundness times 2 | |
9/20 | ICFP (no class) | Read Ch 8 | |
9/22 | ICFP (no class) | Read Ch 9 | finish Ch9.v |
9/27 | Solomon | Ch 10 | |
9/29 | Yao | Ch 11 | |
10/4 | Pritam | Ch 12 | |
10/6 | Fall break (no class) | ||
10/11 | Antoine | Ch 13 | |
10/13 | Kenny | Ch 14 | |
10/18 | Nicholas | Ch 15 | |
10/20 | Yishuai | Ch 16 | |
10/24 | Teng | Ch 17 | |
10/27 | Richard | Ch 19 | |
11/1 | ??? | Ch 20 | |
11/3 | Leo | Ch 21 | |
11/8 | Omar | Ch 22 | |
11/10 | Hengchu | Ch 23 | |
11/15 | Ch 46 | ||
11/17 | Ch 47 | ||
11/22 | Ch 48 | ||
11/24 | Thanksgiving (no class) | ||
11/29 | Project demos | ||
12/1 | Project demos | ||
12/6 | Project demos | ||
12/8 | Project demos |
Potential topics from PFPL
- Part I Judgements and Rules (Stephanie)
- Part II Statics and Dynamics (Stephanie)
- Part III Total Functions (Read on your own)
- Part IV Finite Data Types (Solomon Ch10, Yao Ch11)
- Part V Types and Propositions (Pritam Ch12, Antoine Ch13)
- Part VI Infinite Data Types (Kenny Ch14, Nicolas Ch15)
- Part VII Variable Types (Yishuai Ch16, Teng Ch17, skip Ch18?)
- Part VIII Partiality and Recursive Types (Richard Ch19 & ??? Ch20)
- Part IX Dynamic Types (Leo Ch21, Omar Ch22, Hengchu Ch23)
- Part XII Control Flow
- Part XIV Mutable State
- Part XVII Modularity
- Part XVIII Equational Reasoning