Overview
TPLS is the Theory B seminar and reading group at Cornell. Every week, we read and discuss a paper that has something to do with programming language theory, logic, or semantics of systems. This page contains scheduling information, including links to the papers we will be reading.
Mailing list
Sign up for the TPLS mailing list by sending an empty e-mail with subject "join" to [point here] .Schedule
| Date | Title | Author(s) | Discussion Leader(s) |
|---|---|---|---|
| May 20, 2015 | Integrating Dependent and Linear Types | N. Krishnaswami, P. Pradic, and N. Benton | Andrew K. Hirsch |
| May 27, 2015 | - | - | - |
| June 3, 2015 | - | - | - |
| June 10, 2015 | - | - | - |
| June 17, 2015 | Subject-Oriented Programming (A Critique of Pure Objects) | William Harrison and Harold Ossher | Fabian Muehlboeck |
| June 24, 2015 | Declarative Programming over Eventually Consistent Data Stores | KC Sivaramakrishnan, G. Kaki, and S. Jagannathan | Matthew Milano |
| July 1, 2015 | - | - | - |
| July 8, 2015 | - | - | - |
| July 15, 2015 | Why Bother With Syntax? | Joseph Y. Halpern | Andrew K. Hirsch |
| July 22, 2015 | A survey of paraconsistent logics | C. A. Middelburg | Andrew K. Hirsch |
| July 29, 2015 | - | - | - |
| August 5, 2015 | Hierarchical correctness proofs for distributed algorithms | Nancy A. Lynch and Mark R. Tuttle | Andrew K. Hirsch |
| August 12, 2015 | Proof-Carrying Code | George C. Necula | Andrew K. Hirsch |
| August 19, 2015 | - | - | - |
| August 26, 2015 | - | - | - |