default search action
PPDP 2023: Lisboa, Portugal
- Santiago Escobar, Vasco T. Vasconcelos:
International Symposium on Principles and Practice of Declarative Programming, PPDP 2023, Lisboa, Portugal, October 22-23, 2023. ACM 2023 - Steffen van Bakel
, Nicolas Wu
A Calculus of Delayed Reductions. 1:1-1:13 - Franco Barbanera
Multicompatibility for Multiparty-Session Composition. 2:1-2:15 - Joseph W. N. Paulus
Termination in Concurrency, Revisited. 3:1-3:14 - Kazuki Ikemori
Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators. 4:1-4:13 - Xiangyu Guo
stableKanren: Integrating Stable Model Semantics with miniKanren. 5:1-5:13 - Gautier Raimondi
Type-directed Program Transformation for Constant-Time Enforcement. 6:1-6:13 - Eduardo Geraldo
Data-Dependent Confidentiality in DCR Graphs. 7:1-7:13 - Wilmer Ricciotti
Comprehending queries over finite maps. 8:1-8:12 - Luiz De Sá
Intuitionistic Metric Temporal Logic. 9:1-9:13 - Zachary J. Sullivan
Closure Conversion in Little Pieces. 10:1-10:13 - Pieter W. M. Koopman
Strongly-Typed Multi-View Stack-Based Computations. 11:1-11:12 - Hannes Saffrich
Polymorphic Typestate for Session Types. 12:1-12:15 - Silvio Capobianco
Additive Cellular Automata Graded-Monadically. 13:1-13:9
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 2024-12-15 01:15 CET 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: