PPDP

Keyphrases

Publications

2023

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

2022

2021