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) |
|---|---|---|---|
| February 3, 2017 | Modules, Abstraction, and Parametric Polymorphism | Karl Crary | Andrew K. Hirsch |
| February 10, 2017 | Big types in little runtime | M. Vitousek, C. Swords, J. Siek | Fabian Muehlboeck |
| February 17, 2017 | Composable and Compilable Macros | Matthew Flatt | Scott Messick |
| February 24, 2017 | Accepting Blame for Safe Tunneled Exceptions | Y. Zhang, G. Salvaneschi, Q. Beightol, B. Liskov, A. Myers | Fabian Muehlboeck |
| March 3, 2017 | Refinement Types for Incremental Computational Complexity | E. Cicek, D. Garg, U. Acar | Xiang Long |
| March 10, 2017 | A Per Model of Secure Information Flow in Sequential Programs | A. Sabelfeld and D. Sands | Andrew K. Hirsch |
| March 17, 2017 | Elementary Topos Theory and Intuitionistic Logic | C.L. Mahany | Andrew K. Hirsch |
| March 24, 2017 | Realizability Toposes | Stijn Vermeeren | Andrew K. Hirsch |
| March 31, 2017 | TBD | TBD | TBD |
| April 7, 2017 | Spring Break | ||
| April 14, 2017 | TBD | TBD | TBD |
| April 21, 2017 | TBD | TBD | TBD |
| April 28, 2017 | TBD | TBD | TBD |