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)
September 8, 2017 Refinement Types for Haskell Vazou et al. Andrew K. Hirsch
September 15, 2017 Call-by-Push-Value: A Subsuming Paradigm P. B. Levy Coşku Acay
September 22, 2017 Proof-grounded bootstrapping of a verified compiler: Producing a verified read-eval-print loop for CakeML R. Kumar, M. O. Myreen, S. Owens, Y. K. Tan Ryan Doenges
September 29, 2017 Polymorphism, Subtyping, and Type Inference in MLsub S. Dolan, A. Mycroft Rolph Recto
October 6, 2017 TBD TBD TBD
October 13, 2017 TBD TBD TBD
October 20, 2017 TBD TBD TBD
October 27, 2017 TBD TBD TBD
November 3, 2017 TBD TBD TBD
November 10, 2017 TBD TBD TBD
November 17, 2017 TBD TBD TBD
November 24, 2017 Thanksgiving
December 1, 2017 TBD TBD TBD