- Luiz De Sá
, Bernardo Toninho, Frank Pfenning:
Intuitionistic Metric Temporal Logic. PPDP 2023: 9:1-9:13 - Hannes Saffrich, Peter Thiemann:
Polymorphic Typestate for Session Types. PPDP 2023: 12:1-12:15 - Zachary J. Sullivan, Paul Downen, Zena M. Ariola:
Closure Conversion in Little Pieces. PPDP 2023: 10:1-10:13 - Santiago Escobar, Vasco T. Vasconcelos:
International Symposium on Principles and Practice of Declarative Programming, PPDP 2023, Lisboa, Portugal, October 22-23, 2023. ACM 2023 [contents] - 2022
- Guillaume Ambal, Sergueï Lenglet, Alan Schmitt, Camille Noûs:
Certified Derivation of Small-Step From Big-Step Skeletal Semantics. PPDP 2022: 11:1-11:48 - Pedro Ângelo, Mário Florido:
A Typed Lambda Calculus with Gradual Intersection Types. PPDP 2022: 9:1-9:13 - Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari:
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding. PPDP 2022: 2:1-2:9 - James Cheney, Maribel Fernández:
Nominal Matching Logic. PPDP 2022: 5:1-5:15 - Ornela Dardha, Elena Giachino, Davide Sangiorgi:
Session Types Revisited: A Decade Later. PPDP 2022: 12:1-12:4 - Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya, Matthew L. Daggitt:
CheckINN: Wide Range Neural Network Verification in Imandra. PPDP 2022: 3:1-3:14 - Michael Hanus, Kai-Oliver Prott, Finn Teegen:
A Monadic Implementation of Functional Logic Programs. PPDP 2022: 1:1-1:15 - Adam Khayam, Louis Noizet, Alan Schmitt:
A Faithful Description of ECMAScript Algorithms. PPDP 2022: 8:1-8:14 - Avishkar Mahajan, Martin Strecker, Meng Weng Wong:
User Guided Abductive Proof Generation for Answer Set Programming Queries. PPDP 2022: 10:1-10:14 - Gopalan Nadathur, Mary Southern:
A Logic for Formalizing Properties of LF Specifications. PPDP 2022: 6:1-6:13 - David Sabel, Manfred Schmidt-Schauß, Luca Maio:
Contextual Equivalence in a Probabilistic Call-by-Need Lambda-Calculus. PPDP 2022: 4:1-4:15 - James Smith, Xiangyu Guo, Ajay Bansal:
A Predicate Construct for Declarative Programming in Imperative Languages. PPDP 2022: 7:1-7:13 - 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 [contents]
- 2021
- Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders:
A Typed Slicing Compilation of the Polymorphic RPC calculus. PPDP 2021: 11:1-11:15 - Abhishek De, Luc Pellissier, Alexis Saurin:
Canonical proof-objects for coinductive programming: infinets with infinitely many cuts. PPDP 2021: 7:1-7:15 - Alen Arslanagic, Anda-Amelia Palamariuc, Jorge A. Pérez:
Minimal Session Types for the π-calculus. PPDP 2021: 12:1-12:15 - Malgorzata Biernacka, Witold Charatonik, Tomasz Drab:
A Derived Reasonable Abstract Machine for Strong Call by Value. PPDP 2021: 6:1-6:14 - Dariusz Biernacki, Mateusz Pyzik, Filip Sieczkowski:
Reflecting Stacked Continuations in a Fine-Grained Direct-Style Reduction Theory. PPDP 2021: 4:1-4:13 - Jonas Böhm, Michael Hanus, Finn Teegen:
From Non-determinism to Goroutines: A Fair Implementation of Curry in Go. PPDP 2021: 16:1-16:15 - Luís Carvalho, João Costa Seco:
Deep Semantic Versioning for Evolution and Variability. PPDP 2021: 21:1-21:13 - Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau:
Static analysis of pattern-free properties. PPDP 2021: 9:1-9:13 - Jan C. Dageförde, Hendrik Winkelmann, Herbert Kuchen:
Free Objects in Constraint-logic Object-oriented Programming. PPDP 2021: 14:1-14:13 - Ieva Daukantas, Alessandro Bruni, Carsten Schürmann:
Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation. PPDP 2021: 17:1-17:9 - Rachid Echahed, Mnacho Echenim, Mehdi Mhalla, Nicolas Peltier:
A Superposition-Based Calculus for Diagrammatic Reasoning. PPDP 2021: 10:1-10:13 - Serdar Erbatur, Ulrich Schöpp, Chuangjie Xu:
Type-based Enforcement of Infinitary Trace Properties for Java. PPDP 2021: 18:1-18:14 - Gaspard Férey, Jean-Pierre Jouannaud:
Confluence in Non-Left-Linear Untyped Higher-Order Rewrite Theories. PPDP 2021: 8:1-8:14
