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