| 2019 | 10 Years of the Higher-Order Model Checking Project (Extended Abstract). Naoki Kobayashi |
| 2019 | An Adequate While-Language for Hybrid Computation. Sergey Goncharov, Renato Neves |
| 2019 | Crumbling Abstract Machines. Beniamino Accattoli, Andrea Condoluci, Giulio Guerrieri, Claudio Sacerdoti Coen |
| 2019 | Exception Handling and Classical Logic. Steffen van Bakel |
| 2019 | Exponential Elimination for Bicartesian Closed Categorical Combinators. Nachiappan Valliappan, Alejandro Russo |
| 2019 | Foundations of Session Types: 10 Years Later. Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani |
| 2019 | Functional Reactive Programming, restated. Guerric Chupin, Henrik Nilsson |
| 2019 | Functional programming with λ-tree syntax. Ulysse Gérard, Dale Miller, Gabriel Scherer |
| 2019 | Generic Encodings of Constructor Rewriting Systems. Horatiu Cirstea, Pierre-Etienne Moreau |
| 2019 | Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation. Kentaro Kikuchi, Takahito Aoto, Isao Sasano |
| 2019 | Intrinsically-Typed Mechanized Semantics for Session Types. Peter Thiemann |
| 2019 | Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms. Yanhong A. Liu, Saksham Chand, Scott D. Stoller |
| 2019 | Normalization by Evaluation for Call-By-Push-Value and Polarized Lambda Calculus. Andreas Abel, Christian Sattler |
| 2019 | Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, PPDP 2019, Porto, Portugal, October 7-9, 2019. Ekaterina Komendantskaya |
| 2019 | Property-Based Testing via Proof Reconstruction. Roberto Blanco, Dale Miller, Alberto Momigliano |
| 2019 | Relational Symbolic Execution. Gian Pietro Farina, Stephen Chong, Marco Gaboardi |
| 2019 | Sharing Equality is Linear. Andrea Condoluci, Beniamino Accattoli, Claudio Sacerdoti Coen |
| 2019 | Smart Contracts as Authorized Production Rules. Ben Lippmeier, Amos Robinson, Andrae Muys |
| 2019 | Spacetime Programming: A Synchronous Language for Composable Search Strategies. Pierre Talbot |
| 2019 | TopHat: A formal foundation for task-oriented programming. Tim Steenvoorden, Nico Naus, Markus Klinik |
| 2019 | Type-Driven Verification of Non-functional Properties. Christopher Brown, Adam D. Barwell, Yoann Marquer, Céline Minh, Olivier Zendra |
| 2019 | Under Control: Compositionally Correct Closure Conversion with Mutable State. Phillip Mates, Jamie Perconti, Amal Ahmed |