Login / Signup
PPDP
1999
2004
2014
2023
1999
2023
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
David Sabel
,
Manfred Schmidt-Schauß
,
Luca Maio
Contextual Equivalence in a Probabilistic Call-by-Need Lambda-Calculus.
PPDP
(2022)
Michael Hanus
,
Kai-Oliver Prott
,
Finn Teegen
A Monadic Implementation of Functional Logic Programs.
PPDP
(2022)
James Cheney
,
Maribel Fernández
Nominal Matching Logic.
PPDP
(2022)
Guillaume Ambal
,
Sergueï Lenglet
,
Alan Schmitt
,
Camille Noûs
Certified Derivation of Small-Step From Big-Step Skeletal Semantics.
PPDP
(2022)
Adam Khayam
,
Louis Noizet
,
Alan Schmitt
A Faithful Description of ECMAScript Algorithms.
PPDP
(2022)
Avishkar Mahajan
,
Martin Strecker
,
Meng Weng Wong
User Guided Abductive Proof Generation for Answer Set Programming Queries.
PPDP
(2022)
Pedro Ângelo
,
Mário Florido
A Typed Lambda Calculus with Gradual Intersection Types.
PPDP
(2022)
Francesco Calimeri
,
Giovambattista Ianni
,
Francesco Pacenza
,
Simona Perri
,
Jessica Zangari
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding.
PPDP
(2022)
Remi Desmartin
,
Grant O. Passmore
,
Ekaterina Komendantskaya
,
Matthew Daggit
CheckINN: Wide Range Neural Network Verification in Imandra.
PPDP
(2022)
James Smith
,
Xiangyu Guo
,
Ajay Bansal
A Predicate Construct for Declarative Programming in Imperative Languages.
PPDP
(2022)
Ornela Dardha
,
Elena Giachino
,
Davide Sangiorgi
Session Types Revisited: A Decade Later.
PPDP
(2022)
Gopalan Nadathur
,
Mary Southern
A Logic for Formalizing Properties of LF Specifications.
PPDP
(2022)
PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20 - 22, 2022
PPDP
(2022)
2021
Alen Arslanagic
,
Anda-Amelia Palamariuc
,
Jorge A. Pérez
Minimal Session Types for the π-calculus.
PPDP
(2021)
Jan C. Dageförde
,
Hendrik Winkelmann
,
Herbert Kuchen
Free Objects in Constraint-logic Object-oriented Programming.
PPDP
(2021)
Bernardo Toninho
,
Luís Caires
,
Frank Pfenning
A Decade of Dependent Session Types.
PPDP
(2021)
Gaspard Férey
,
Jean-Pierre Jouannaud
Confluence in Non-Left-Linear Untyped Higher-Order Rewrite Theories.
PPDP
(2021)
Rachid Echahed
,
Mnacho Echenim
,
Mehdi Mhalla
,
Nicolas Peltier
A Superposition-Based Calculus for Diagrammatic Reasoning.
PPDP
(2021)
Paul D. Rowe
,
John D. Ramsdell
,
Ian D. Kretz
Automated Trust Analysis of Copland Specifications for Layered Attestations✱.
PPDP
(2021)
Marco Gaboardi
Programming Languages Techniques for Controlling Generalization Errors in Adaptive Data Analysis.
PPDP
(2021)
Kwanghoon Choi
,
James Cheney
,
Sam Lindley
,
Bob Reynders
A Typed Slicing Compilation of the Polymorphic RPC calculus.
PPDP
(2021)
Ugo de'Liguoro
,
Riccardo Treglia
Intersection types for a λ-calculus with global store.
PPDP
(2021)
Luis Carvalho
,
João Costa Seco
Deep Semantic Versioning for Evolution and Variability.
PPDP
(2021)
Serdar Erbatur
,
Ulrich Schöpp
,
Chuangjie Xu
Type-based Enforcement of Infinitary Trace Properties for Java.
PPDP
(2021)
William L. Harrison
,
Chris Hathhorn
,
Gerard Allwein
A Mechanized Semantic Metalanguage for High Level Synthesis.
PPDP
(2021)
Ieva Daukantas
,
Alessandro Bruni
,
Carsten Schürmann
Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation.
PPDP
(2021)
Joosep Jääger
,
Alisa Pankova
PrivaLog: a Privacy-aware Logic Programming Language.
PPDP
(2021)
Jonas Böhm
,
Michael Hanus
,
Finn Teegen
From Non-determinism to Goroutines: A Fair Implementation of Curry in Go.
PPDP
(2021)
Horatiu Cirstea
,
Pierre Lermusiaux
,
Pierre-Etienne Moreau
Static analysis of pattern-free properties.
PPDP
(2021)
Jayanth Krishnamurthy
,
Manuel Serrano
Causality Error Tracing in HipHop.js.
PPDP
(2021)
David Zhao
,
Pavle Subotic
,
Mukund Raghothaman
,
Bernhard Scholz
Towards Elastic Incrementalization for Datalog.
PPDP
(2021)
Stephen Wolfram
The Computational Structure of Programs and the Universe.
PPDP
(2021)
Dariusz Biernacki
,
Mateusz Pyzik
,
Filip Sieczkowski
Reflecting Stacked Continuations in a Fine-Grained Direct-Style Reduction Theory.
PPDP
(2021)
Malgorzata Biernacka
,
Witold Charatonik
,
Tomasz Drab
A Derived Reasonable Abstract Machine for Strong Call by Value.
PPDP
(2021)
Abhishek De
,
Luc Pellissier
,
Alexis Saurin
Canonical proof-objects for coinductive programming: infinets with infinitely many cuts.
PPDP
(2021)
Mathias Jakobsen
,
Alice Ravier
,
Ornela Dardha
Papaya: Global Typestate Analysis of Aliased Objects.
PPDP
(2021)