| 2024 | A simple view of multiparty session types. Ilaria Castellani |
| 2024 | Concurrent monads for shared state. Exequiel Rivas, Tarmo Uustalu |
| 2024 | Declarative Macro-Programming of Collective Systems with Aggregate Computing: An Experience Report. Roberto Casadei, Mirko Viroli |
| 2024 | Evidence Tampering and Chain of Custody in Layered Attestations. Ian D. Kretz, Paul D. Rowe, Clare C. Parran, John D. Ramsdell |
| 2024 | Formal Verification of Executable Matrix Inversion via Adjoint Matrix and Gaussian Elimination. ZhengPu Shi, Gang Chen |
| 2024 | Grammar-based Pattern Matching and Type Checking for Difference Data Structures. Naoki Yamamoto, Kazunori Ueda |
| 2024 | Hierarchical Higher-Order Port-Graphs: A Rewriting-Based Modelling Language. Maribel Fernández, Ian Mackie |
| 2024 | Higher-Order unification for free!: Reusing the meta-language unification for the object language. Davide Fissore, Enrico Tassi |
| 2024 | Language-Based Security for Low-Level MPC. Christian Skalka, Joseph P. Near |
| 2024 | Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logic. Jaime Arias, Carlos Olarte, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk |
| 2024 | NuITP: An Inductive Theorem Prover for Equational Program Verification. Francisco J. Durán, Santiago Escobar, José Meseguer, Julia Sapiña |
| 2024 | On the Almost-Sure Termination of Binary Sessions. Ugo Dal Lago, Luca Padovani |
| 2024 | On the Preciseness of Subtyping in Session Types: 10 Years Later. Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida |
| 2024 | Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, PPDP 2024, Milano, Italy, September 9-11, 2024 Alessandro Bruni, Alberto Momigliano, Matteo Pradella, Matteo Rossi, James Cheney |
| 2024 | Programming Open Distributed Systems in Maude. Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott |
| 2024 | Reachability Analysis in Micro-Stipula. Cosimo Laneve |
| 2024 | The logical essence of call-by-name CPS translations. José Espírito Santo, Filipa Mendes |
| 2024 | Towards Effective ASP-based Stream Reasoning: Facilitate the Reasoning over Patterns of Events. Luca Laboccetta, Elena Mastria, Francesco Calimeri, Nicola Leone, Simona Perri, Giorgio Terracina |
| 2024 | Un-projectable Global Types for Multiparty Sessions. Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro |
| 2024 | sMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions. Francesco Dagnino, Luca Padovani |