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 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 | The Temporal Logic of Actions | Leslie Lamport | Eric Campbell |