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 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 .

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