Skip to main content



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 .

Schedule

Date Title Author(s) Discussion Leader(s)
January 29, 2016 'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems A. Gotsman, H. Yang, C. Ferreira, M. Najafzadeh, M. Shapiro Matthew Milano
Feburary 5, 2016 Algebra-Coalgebra Duality in Brzozowski’s Minimization Algorithm F. Bonchi, M.M. Bonsangue, H.H. Hansen, P. Panangaden, J.J.M.M. Rutten, A. Silva Steffen Smolka
Feburary 12, 2016 Comonadic Notions of Computation Tarmo Uustalu and Varmo Vene Andrew K. Hirsch
Feburary 19, 2016 Refined Criteria for Gradual Typing Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, and John Tang Boyland Fabian Muehlboeck
Feburary 26, 2016 Stop When You Are Almost-Full: Adventures in Constructive Dimitrios Vytiniotis, Thierry Coquand, David Wahlstedt Fran Mota
March 4, 2016 Logical relations and the typed Lambda-calculus Richard Statman Fran Mota
March 11, 2016 Simple unification-based type inference for GADTs S. P. Jones, D. Vytiniotis, S. Weirich, G. Washburn Andrew K. Hirsch
March 18, 2016 - - -
March 25, 2016 Micro-Policies: Formally Verified, Tag-Based Security Monitors A. A. de Amorim, M. Denes, N. Giannarakis, C. Hritcu, B. C. Pierce, A. Spector-Zabusky, A. Tolmach Arthur Azevedo de Amorim
April 1, 2016 [Spring Break] - -
April 8, 2016 When Is a Container a Comonad? Danel Ahman, James Chapman, Tarmo Uustalu Andrew K. Hirsch
April 15, 2016 Modern Concurrency Abstractions for C# Nick Benton, Luca Cardelli, and Cedric Fournet Fabian Muehlboeck
April 22, 2016 - - -
April 29, 2016 Functional pearl: getting a quick fix on comonads Kenneth Foner Andrew K. Hirsch
May 6, 2016 A Play on Regular Expressions Sebastian Fischer, Frank Huch, Thomas Wilke Xiang Long