| 2021 | A Decade of Dependent Session Types. Bernardo Toninho, Luís Caires, Frank Pfenning |
| 2021 | A Derived Reasonable Abstract Machine for Strong Call by Value. Malgorzata Biernacka, Witold Charatonik, Tomasz Drab |
| 2021 | A Mechanized Semantic Metalanguage for High Level Synthesis. William L. Harrison, Chris Hathhorn, Gerard Allwein |
| 2021 | A Superposition-Based Calculus for Diagrammatic Reasoning. Rachid Echahed, Mnacho Echenim, Mehdi Mhalla, Nicolas Peltier |
| 2021 | A Typed Slicing Compilation of the Polymorphic RPC calculus. Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders |
| 2021 | Automated Trust Analysis of Copland Specifications for Layered Attestations✱. Paul D. Rowe, John D. Ramsdell, Ian D. Kretz |
| 2021 | Canonical proof-objects for coinductive programming: infinets with infinitely many cuts. Abhishek De, Luc Pellissier, Alexis Saurin |
| 2021 | Causality Error Tracing in HipHop.js. Jayanth Krishnamurthy, Manuel Serrano |
| 2021 | Confluence in Non-Left-Linear Untyped Higher-Order Rewrite Theories. Gaspard Férey, Jean-Pierre Jouannaud |
| 2021 | Deep Semantic Versioning for Evolution and Variability. Luís Carvalho, João Costa Seco |
| 2021 | Free Objects in Constraint-logic Object-oriented Programming. Jan C. Dageförde, Hendrik Winkelmann, Herbert Kuchen |
| 2021 | From Non-determinism to Goroutines: A Fair Implementation of Curry in Go. Jonas Böhm, Michael Hanus, Finn Teegen |
| 2021 | Intersection types for a λ-calculus with global store. Ugo de'Liguoro, Riccardo Treglia |
| 2021 | Minimal Session Types for the π-calculus. Alen Arslanagic, Anda-Amelia Palamariuc, Jorge A. Pérez |
| 2021 | PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Tallinn, Estonia, September 6-8, 2021 Niccolò Veltri, Nick Benton, Silvia Ghilezan |
| 2021 | Papaya: Global Typestate Analysis of Aliased Objects. Mathias Jakobsen, Alice Ravier, Ornela Dardha |
| 2021 | PrivaLog: a Privacy-aware Logic Programming Language. Joosep Jääger, Alisa Pankova |
| 2021 | Programming Languages Techniques for Controlling Generalization Errors in Adaptive Data Analysis. Marco Gaboardi |
| 2021 | Reflecting Stacked Continuations in a Fine-Grained Direct-Style Reduction Theory. Dariusz Biernacki, Mateusz Pyzik, Filip Sieczkowski |
| 2021 | Static analysis of pattern-free properties. Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau |
| 2021 | The Computational Structure of Programs and the Universe. Stephen Wolfram |
| 2021 | Towards Elastic Incrementalization for Datalog. David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz |
| 2021 | Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation. Ieva Daukantas, Alessandro Bruni, Carsten Schürmann |
| 2021 | Type-based Enforcement of Infinitary Trace Properties for Java. Serdar Erbatur, Ulrich Schöpp, Chuangjie Xu |