default search action

combined dblp search
author search
venue search
publication search

ask others

PPDP 2023: Lisboa, Portugal

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > PPDP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/2023
Santiago Escobar, Vasco T. Vasconcelos:
International Symposium on Principles and Practice of Declarative Programming, PPDP 2023, Lisboa, Portugal, October 22-23, 2023. ACM 2023
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/BakelWT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/BakelWT23
Steffen van Bakel, Nicolas Wu, Emma Tye:
A Calculus of Delayed Reductions. 1:1-1:13
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/BarbaneraDGY23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/BarbaneraDGY23
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Lorenzo Gheri, Nobuko Yoshida:
Multicompatibility for Multiparty-Session Composition. 2:1-2:15
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/Paulus0N23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/Paulus0N23
Joseph W. N. Paulus, Jorge A. Pérez, Daniele Nantes-Sobrinho:
Termination in Concurrency, Revisited. 3:1-3:14
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/IkemoriCM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/IkemoriCM23
Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara:
Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators. 4:1-4:13
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/GuoSB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/GuoSB23
Xiangyu Guo, James Smith, Ajay Bansal:
stableKanren: Integrating Stable Model Semantics with miniKanren. 5:1-5:13
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/RaimondiBJ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/RaimondiBJ23
Gautier Raimondi, Frédéric Besson, Thomas P. Jensen:
Type-directed Program Transformation for Constant-Time Enforcement. 6:1-6:13
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/GeraldoSH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/GeraldoSH23
Eduardo Geraldo, João Costa Seco, Thomas T. Hildebrandt:
Data-Dependent Confidentiality in DCR Graphs. 7:1-7:13
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/Ricciotti23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/Ricciotti23
Wilmer Ricciotti:
Comprehending queries over finite maps. 8:1-8:12
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/SaTP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/SaTP23
Luiz De Sá, Bernardo Toninho, Frank Pfenning:
Intuitionistic Metric Temporal Logic. 9:1-9:13
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/SullivanDA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/SullivanDA23
Zachary J. Sullivan, Paul Downen, Zena M. Ariola:
Closure Conversion in Little Pieces. 10:1-10:13
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/KoopmanL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/KoopmanL23
Pieter W. M. Koopman, Mart Lubbers:
Strongly-Typed Multi-View Stack-Based Computations. 11:1-11:12
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/Saffrich023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/Saffrich023
Hannes Saffrich, Peter Thiemann:
Polymorphic Typestate for Session Types. 12:1-12:15
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/CapobiancoU23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/CapobiancoU23
Silvio Capobianco, Tarmo Uustalu:
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.