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 Cancelled
October 13, 2017 Functors are Type Refinement Systems P. Melliès and N. Zeilberger Andrew K. Hirsch
October 20, 2017 Type and Effect Systems F. & H. Nielson Scott Messick
October 27, 2017 Combinators for Bi-Directional Tree Transformations J. Foster, M. Greenwald, J. Moore, B. Pierce, A. Schmitt Rolph Recto
November 3, 2017 Getting F-Bounded Polymorphism into Shape B. Greenman, F. Muehlboeck, R. Tate Fabian Muehlboeck
November 10, 2017 Familia: Unifying Interfaces, Type Classes, and Family Polymorphism Y. Zhang, A. Myers Yizhou Zhang
November 17, 2017 Cancelled
November 24, 2017 Thanksgiving
December 1, 2017 TBD TBD TBD