Skip to main content


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 .


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