default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPPDP 2024: Milano, Italy
- Alessandro Bruni, Alberto Momigliano, Matteo Pradella, Matteo Rossi, James Cheney:
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, PPDP 2024, Milano, Italy, September 9-11, 2024. ACM 2024, ISBN 979-8-4007-0969-2 - Ilaria Castellani
:
A simple view of multiparty session types. 1:1-1:3 - Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida:
On the Preciseness of Subtyping in Session Types: 10 Years Later. 2:1-2:3 - Davide Fissore, Enrico Tassi:
Higher-Order unification for free!: Reusing the meta-language unification for the object language. 3:1-3:13 - Francesco Dagnino, Luca Padovani:
sMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions. 4:1-4:13 - Roberto Casadei, Mirko Viroli:
Declarative Macro-Programming of Collective Systems with Aggregate Computing: An Experience Report. 5:1-5:5 - Francisco J. Durán, Santiago Escobar, José Meseguer, Julia Sapiña:
NuITP: An Inductive Theorem Prover for Equational Program Verification. 6:1-6:11 - Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott:
Programming Open Distributed Systems in Maude. 7:1-7:12 - Maribel Fernández, Ian Mackie:
Hierarchical Higher-Order Port-Graphs: A Rewriting-Based Modelling Language. 8:1-8:14 - Ugo Dal Lago, Luca Padovani:
On the Almost-Sure Termination of Binary Sessions. 9:1-9:12 - Jaime Arias, Carlos Olarte, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk:
Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logic. 10:1-10:14 - José Espírito Santo, Filipa Mendes:
The logical essence of call-by-name CPS translations. 11:1-11:12 - ZhengPu Shi, Gang Chen:
Formal Verification of Executable Matrix Inversion via Adjoint Matrix and Gaussian Elimination. 12:1-12:13 - Naoki Yamamoto, Kazunori Ueda:
Grammar-based Pattern Matching and Type Checking for Difference Data Structures. 13:1-13:13 - Ian D. Kretz, Paul D. Rowe, Clare C. Parran, John D. Ramsdell:
Evidence Tampering and Chain of Custody in Layered Attestations. 14:1-14:11 - Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
Un-projectable Global Types for Multiparty Sessions. 15:1-15:13 - Christian Skalka, Joseph P. Near:
Language-Based Security for Low-Level MPC. 16:1-16:14 - Cosimo Laneve:
Reachability Analysis in Micro-Stipula. 17:1-17:12 - Luca Laboccetta, Elena Mastria, Francesco Calimeri, Nicola Leone, Simona Perri, Giorgio Terracina:
Towards Effective ASP-based Stream Reasoning: Facilitate the Reasoning over Patterns of Events. 18:1-18:12 - Exequiel Rivas, Tarmo Uustalu:
Concurrent monads for shared state. 19:1-19:13
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-04-22 23:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
