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 [point here] .Schedule
Date | Title | Author(s) | Discussion Leader(s) |
---|---|---|---|
September 30, 2016 | Organizational Meeting | - | - |
October 7, 2016 | LASP: A language for Distributed, Coordination-Free Programming | C. Meiklejohn, P. Van Roy | Matthew Milano |
October 14, 2016 | A calculus for overloaded functions with subtyping | G. Castagna, G. Ghelli, G. Longo | Fabian Muehlboeck |
October 21, 2016 | Combining effects and coeffects via grading | M. Gaboardi, S. Katsumata, D. Orchard, F. Breuvart, T. Uustalu | Andrew K. Hirsch |
October 28, 2016 | Parametricity in an Impredicative Sort | C. Keller, M. Lasson | Abhishek Anand |
November 4, 2016 | A gentle introduction to map theory | Klaus Grue | Scott Messick |
November 11, 2016 | Cache and I/O Efficient Functional Algorithms | Guy E. Blelloch and Robert Harper | Xiang Long |
November 18, 2016 | Constructive Galois connections | David Darais and David Van Horn | Andrew K. Hirsch |
November 25, 2016 | Thanksgiving Break | ||
December 2, 2016 | An operational approach to combining classical set theory and functional programming languages | Douglas J. Howe, Scott D. Stoller | Scott Messick |