| 2022 | A Faithful Description of ECMAScript Algorithms. Adam Khayam, Louis Noizet, Alan Schmitt |
| 2022 | A Logic for Formalizing Properties of LF Specifications. Gopalan Nadathur, Mary Southern |
| 2022 | A Monadic Implementation of Functional Logic Programs. Michael Hanus, Kai-Oliver Prott, Finn Teegen |
| 2022 | A Predicate Construct for Declarative Programming in Imperative Languages. James Smith, Xiangyu Guo, Ajay Bansal |
| 2022 | A Typed Lambda Calculus with Gradual Intersection Types. Pedro Ângelo, Mário Florido |
| 2022 | ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding. Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari |
| 2022 | Certified Derivation of Small-Step From Big-Step Skeletal Semantics. Guillaume Ambal, Sergueï Lenglet, Alan Schmitt, Camille Noûs |
| 2022 | CheckINN: Wide Range Neural Network Verification in Imandra. Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya, Matthew L. Daggitt |
| 2022 | Contextual Equivalence in a Probabilistic Call-by-Need Lambda-Calculus. David Sabel, Manfred Schmidt-Schauß, Luca Maio |
| 2022 | Nominal Matching Logic. James Cheney, Maribel Fernández |
| 2022 | PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20 - 22, 2022 |
| 2022 | Session Types Revisited: A Decade Later. Ornela Dardha, Elena Giachino, Davide Sangiorgi |
| 2022 | User Guided Abductive Proof Generation for Answer Set Programming Queries. Avishkar Mahajan, Martin Strecker, Meng Weng Wong |