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)
January 29, 2018 I Got Plenty o’ Nuttin’ Conor McBride Andrew K. Hirsch
February 5, 2018 Improving JavaScript Performance by Deconstructing the Type System W. Ahn, J. Choi, T. Shull, M. J. Garazarán, J. Torrellas Fabian Muehlboeck
February 12, 2018 Foundations of Differential Dataflow Ma. Abadi, F. McSherry, G. D. Plotkin Dietrich Geisler
February 19, 2018 February Break
February 26, 2018 Jones-optimal partial evaluation by specialization-safe normalization M. Brown, J. Palsberg Eric Campbell
March 5, 2018 Scaling network verification using symmetry and surgery G. D. Plotkin, N. Bjørner, N. P. Lopes, A. Rybalchenko, G. Varghese Xiang Long
March 12, 2018 Practical partial evaluation for high-performance dynamic language runtimes T. Würthinger, C. Wimmer, C. Humer, A. Wöß, L. Stadler, C. Seaton, G. Duboscq, D. Simon, M. Grimmer Rolph Recto
March 19, 2018 A very modal model of a modern, major, general type system A. W. Appel, P.-A. Melliès, C. D. Richards, and J. Vouillon Ryan Doenges
March 26, 2018 Towards a quantum programming language P. Selinger Michael Roberts
April 2, 2018 Spring Break
April 9, 2018 Cancelled
April 16, 2018 Functional pearl: streams and unique fixed points Ralf Hinze Xiang Long
April 23, 2018 Against a universal definition of 'Type' Tomas Petricek Eric Campbell
April 30, 2018 Responsive parallel computation: bridging competitive and cooperative threading S. K. Muller, U. A. Acar, R. Harper Rolph Recto
May 7, 2018 Compositional game theory N. Ghani, J. Hedges, V. Winschel, P. Zahn Michael Roberts