| 431 | -- | 0 | Matthew Flatt, Benjamin C. Pierce. Preface |
| 433 | -- | 471 | Derek Dreyer. Recursive type generativity |
| 473 | -- | 546 | Martin Berger, Kohei Honda, Nobuko Yoshida. A logical analysis of aliasing in imperative higher-order functions |
| 547 | -- | 612 | Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis. Acute: High-level programming language design for distributed computation |
| 613 | -- | 673 | Robert Harper, Daniel R. Licata. Mechanizing metatheory in a logical framework |