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) |
---|---|---|---|
February 2, 2015 | A Brief Survey Of Quantum Programming Languages | Peter Selinger | Andrew K. Hirsch |
February 9, 2015 | Quantum Computation and Quantum Information (Part of Ch. 1) | Michael A. Nielsen and Isaac L. Chuang | Andrew K. Hirsch |
February 16, 2015 | February Break | - | - |
February 23, 2015 | Quantum Computation and Quantum Information (Chapter 2) | Michael A. Nielsen and Isaac L. Chuang | Andrew K. Hirsch |
March 2, 2015 | A categorical semantics of quantum protocols | Samson Abramsky and Bob Coecke | Andrew K. Hirsch |
March 9, 2015 | PhD Visit Day | - | - |
March 16, 2015 | Cancelled (Adrian Sampson's Talk) | - | - |
March 23, 2015 | A Lambda Calculus for Quantum Computation | Andre van Tonder | Andrew K. Hirsch |
March 30, 2015 | Spring Break | - | - |
April 6, 2015 | Coalgebras, Chu Spaces, and Representations of Physical Systems | Samson Abramsky | Andrew K. Hirsch |
April 13, 2015 | Quantum Computation, Categorical Semantics and Linear Logic | Andre van Tonder and Miquel Dorca | Xiang Long |
April 20, 2015 | The Semantics of Version Control | Wouter Swierstra and Andres Loeh | Matthew Milano |
April 27, 2015 | Operational domain theory and topological semantics of sequential programming languages | Martin Escardo and Weng Kin | Fran Mota |
May 4, 2015 | Lightweight, Flexible Object-Oriented Generics | Yizhou Zhang, Matthew C. Loring, Guido Salvaneschi, Barbara Liskov, and Andrew C. Myers | Fabian Muehlboeck |
May 11, 2015 | Shape-Shifters: Type Classes for Declaration-Site Variance | Anonymous | Fabian Muehlboeck |