MIME-Version: 1.0 Server: CERN/3.0 Date: Sunday, 24-Nov-96 22:40:59 GMT Content-Type: text/html Content-Length: 6398 Last-Modified: Sunday, 24-Nov-96 19:20:40 GMT
Scribe 1 | Scribe 2 | Notes | |
---|---|---|---|
Wed Sep 4 | Steve Zdancewic | Patrick White | ML 1 |
Fri Sep 6 | Nikola Valerjev | Stephanie Weirich | ML 2: ver. 1, ver. 2 |
Mon Sep 9 | Nikola Valerjev | Wei-Tsang Ooi | Lambda 1: ver. 1, ver. 2 |
Wed Sep 11 | Sumedh Kanetkar | Wei-Tsang Ooi | Lambda 2 |
Fri Sep 13 | Jia Wang | Zhen Xiao | Lambda 3 (must be printed) |
Mon Sep 16 | Adam Florence | Sumedh Kanetkar | Lambda 4 |
Wed Sep 18 | Li Li | Lili Qui | Typed Lambda 1 |
Fri Sep 20 | Jia Wang | Zhen Xiao | Typed Lambda 2 |
Mon Sep 23 | Tobias Mayr | Patrick White | Church Rosser |
Wed Sep 25 | Li Li | Lili Qui | Strong Normalization |
Fri Sep 27 | Class cancelled... | ||
Mon Sep 30 | Adam Florence | Soochon Radee | Extended Typed Lambda |
Wed Oct 2 | Steve Zdancewic | Stephanie Weirich | Denotation for Typed Lambda |
Fri Oct 4 | Walker White | Ralph Benzinger | Equations and Frames |
Mon Oct 7 | Rosen Sharma | The Term Frame | |
Wed Oct 9 | Chris Hawbitzel | Rosen Sharma | Curry-Howard Isomorphism |
Fri Oct 11 | Soochon Radee | Tugkan Batu | Subst Lemma / F2 |
Fall break... | |||
Wed Oct 16 | Dan Brown | Intro to F2 | |
Fri Oct 18 | Walker White | Dan Brown | More on F2 |
Mon Oct 21 | Chris Hawbitzel | Dan Brown | Yet more on F2 |
Wed Oct 23 | Athanasios Kyparlis | Mihai-Dan Budiu | Well-definedness of F2 |
Fri Oct 25 | Tom Daley | Ralph Benzinger | F2, U2 and ML |
Mon Oct 28 | Wei Tsang Ooi | Chris Hawblitzel | Type Inference 1 |
Wed Oct 30 | Patrick White | Type Inference 2 | |
Fri Nov 1 | Sumedh Kanetkar | Tugkan Batu | PT Thm, ML Inference |
Mon Nov 4 | Adam Florence | Ralph Benzinger | ADTs in F2 |
Wed Nov 6 | Athanasios Kyparlis | Mihai-Dan Budiu | More ADTs and F2 w/Exists |
Fri Nov 8 | Li Li | Lili Qiu | Adding Recursion: PCF |
Mon Nov 11 | Zhen Xiao | Jia Wang | PCF, Posets and Cpos |
Wed Nov 13 | Steve Zdancewic | Stephanie Weirich | Cpos and Continuous Funcs. |
Fri Nov 15 | David Larkin | Ilya German | Fixed-Point Thm |
Mon Nov 18 | David Larkin | (JGM) | Adequacy |
Wed Nov 20 | Tobias Mayr | Tugkan Batu | Intro to Axiomatic Semantics |
Fri Nov 22 | Tom Daley | Ilya German | |
Mon Nov 25 | David Larkin | Soochon Radee | |
Wed Nov 27 | Athanasios Kyparlis | Mihai-Dan Budiu | |
Thanksgiving break... | |||
Mon Dec 2 | Tom Daley | ||
Wed Dec 4 | Tobias Mayr | Ilya German | |
Fri Dec 6 | Nikola Valerjev |