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 summer, we are going to pursue a special project, which is to evaluate papers for a potential reading list for a general introduction to PL ideas from the ground up. 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) |
|---|---|---|---|
| May 31, 2017 | Planning discussion, see List of Papers | ||
| June 5, 2017 | The Next 700 Programming Languages | P. J. Landin | Fabian Muehlboeck |
| June 12, 2017 | Lambda - The Ultimate Imperative | G. Steele, G. Sussman | Andrew K. Hirsch |
| June 19, 2017 | The Smalltalk-76 programming system design and implementation | D. Ingalls | Adrian Sampson |
| June 26, 2017 | The birth of Prolog | A. Colmerauer, P. Roussel | Isaac Sheff |
| July 3, 2017 | Towards a Mathematical Semantics for Computer Languages | D. Scott, C. Strachey | Scott Messick |
| July 10, 2017 | A Calculus of Mobile Processes, I | R. Milner, J. Parrow, D. Walker | Andrew K. Hirsch |
| July 17, 2017 | A Syntactic Approach to Type Soundness | A. Wright, M. Felleisen | Molly Feldman |
| July 24, 2017 | Data Abstraction and Hierarchy | B. Liskov | Andrew K. Hirsch |
| July 31, 2017 | A proposal for making Eiffel type-safe | W. Cook | Ross Tate |
| August 7, 2017 | Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints | P. Cousot, R. Cousot | Fabian Muehlboeck |
| August 14, 2017 | Proof-carrying code | G. Necula | Ethan Cecchetti |
| August 21, 2017 | The Sketching Approach to Program Synthesis | A. Solar-Lezama | Molly Feldman |