| 2023 | A Calculus of Delayed Reductions. Steffen van Bakel, Nicolas Wu, Emma Tye |
| 2023 | Additive Cellular Automata Graded-Monadically. Silvio Capobianco, Tarmo Uustalu |
| 2023 | Closure Conversion in Little Pieces. Zachary J. Sullivan, Paul Downen, Zena M. Ariola |
| 2023 | Comprehending queries over finite maps. Wilmer Ricciotti |
| 2023 | Data-Dependent Confidentiality in DCR Graphs. Eduardo Geraldo, João Costa Seco, Thomas T. Hildebrandt |
| 2023 | International Symposium on Principles and Practice of Declarative Programming, PPDP 2023, Lisboa, Portugal, October 22-23, 2023 Santiago Escobar, Vasco T. Vasconcelos |
| 2023 | Intuitionistic Metric Temporal Logic. Luiz De Sá, Bernardo Toninho, Frank Pfenning |
| 2023 | Multicompatibility for Multiparty-Session Composition. Franco Barbanera, Mariangiola Dezani-Ciancaglini, Lorenzo Gheri, Nobuko Yoshida |
| 2023 | Polymorphic Typestate for Session Types. Hannes Saffrich, Peter Thiemann |
| 2023 | Strongly-Typed Multi-View Stack-Based Computations. Pieter W. M. Koopman, Mart Lubbers |
| 2023 | Termination in Concurrency, Revisited. Joseph W. N. Paulus, Jorge A. Pérez, Daniele Nantes-Sobrinho |
| 2023 | Type-directed Program Transformation for Constant-Time Enforcement. Gautier Raimondi, Frédéric Besson, Thomas P. Jensen |
| 2023 | Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators. Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara |
| 2023 | stableKanren: Integrating Stable Model Semantics with miniKanren. Xiangyu Guo, James Smith, Ajay Bansal |