default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPPDP 2022: Tbilisi, Georgia
- PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20 - 22, 2022. ACM 2022, ISBN 978-1-4503-9703-2
- Michael Hanus
, Kai-Oliver Prott, Finn Teegen:
A Monadic Implementation of Functional Logic Programs. 1:1-1:15 - Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari:
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding. 2:1-2:9 - Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya, Matthew L. Daggitt:
CheckINN: Wide Range Neural Network Verification in Imandra. 3:1-3:14 - David Sabel, Manfred Schmidt-Schauß, Luca Maio:
Contextual Equivalence in a Probabilistic Call-by-Need Lambda-Calculus. 4:1-4:15 - James Cheney, Maribel Fernández:
Nominal Matching Logic. 5:1-5:15 - Gopalan Nadathur, Mary Southern:
A Logic for Formalizing Properties of LF Specifications. 6:1-6:13 - James Smith, Xiangyu Guo, Ajay Bansal:
A Predicate Construct for Declarative Programming in Imperative Languages. 7:1-7:13 - Adam Khayam, Louis Noizet, Alan Schmitt:
A Faithful Description of ECMAScript Algorithms. 8:1-8:14 - Pedro Ângelo, Mário Florido:
A Typed Lambda Calculus with Gradual Intersection Types. 9:1-9:13 - Avishkar Mahajan, Martin Strecker, Meng Weng Wong:
User Guided Abductive Proof Generation for Answer Set Programming Queries. 10:1-10:14 - Guillaume Ambal, Sergueï Lenglet, Alan Schmitt, Camille Noûs:
Certified Derivation of Small-Step From Big-Step Skeletal Semantics. 11:1-11:48 - Ornela Dardha, Elena Giachino, Davide Sangiorgi:
Session Types Revisited: A Decade Later. 12:1-12:4
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-01-29 02:22 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:
