Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/ppdp/ppdp2023.bht:"
@inproceedings{DBLP:conf/ppdp/BakelWT23, author = {Steffen van Bakel and Nicolas Wu and Emma Tye}, editor = {Santiago Escobar and Vasco T. Vasconcelos}, title = {A Calculus of Delayed Reductions}, booktitle = {International Symposium on Principles and Practice of Declarative Programming, {PPDP} 2023, Lisboa, Portugal, October 22-23, 2023}, pages = {1:1--1:13}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3610612.3610613}, doi = {10.1145/3610612.3610613}, timestamp = {Fri, 27 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ppdp/BakelWT23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/BarbaneraDGY23, author = {Franco Barbanera and Mariangiola Dezani{-}Ciancaglini and Lorenzo Gheri and Nobuko Yoshida}, editor = {Santiago Escobar and Vasco T. Vasconcelos}, title = {Multicompatibility for Multiparty-Session Composition}, booktitle = {International Symposium on Principles and Practice of Declarative Programming, {PPDP} 2023, Lisboa, Portugal, October 22-23, 2023}, pages = {2:1--2:15}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3610612.3610614}, doi = {10.1145/3610612.3610614}, timestamp = {Fri, 27 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ppdp/BarbaneraDGY23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/CapobiancoU23, author = {Silvio Capobianco and Tarmo Uustalu}, editor = {Santiago Escobar and Vasco T. Vasconcelos}, title = {Additive Cellular Automata Graded-Monadically}, booktitle = {International Symposium on Principles and Practice of Declarative Programming, {PPDP} 2023, Lisboa, Portugal, October 22-23, 2023}, pages = {13:1--13:9}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3610612.3610625}, doi = {10.1145/3610612.3610625}, timestamp = {Fri, 27 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ppdp/CapobiancoU23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/GeraldoSH23, author = {Eduardo Geraldo and Jo{\~{a}}o Costa Seco and Thomas T. Hildebrandt}, editor = {Santiago Escobar and Vasco T. Vasconcelos}, title = {Data-Dependent Confidentiality in {DCR} Graphs}, booktitle = {International Symposium on Principles and Practice of Declarative Programming, {PPDP} 2023, Lisboa, Portugal, October 22-23, 2023}, pages = {7:1--7:13}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3610612.3610619}, doi = {10.1145/3610612.3610619}, timestamp = {Wed, 18 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ppdp/GeraldoSH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/GuoSB23, author = {Xiangyu Guo and James Smith and Ajay Bansal}, editor = {Santiago Escobar and Vasco T. Vasconcelos}, title = {stableKanren: Integrating Stable Model Semantics with miniKanren}, booktitle = {International Symposium on Principles and Practice of Declarative Programming, {PPDP} 2023, Lisboa, Portugal, October 22-23, 2023}, pages = {5:1--5:13}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3610612.3610617}, doi = {10.1145/3610612.3610617}, timestamp = {Fri, 27 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ppdp/GuoSB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/IkemoriCM23, author = {Kazuki Ikemori and Youyou Cong and Hidehiko Masuhara}, editor = {Santiago Escobar and Vasco T. Vasconcelos}, title = {Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators}, booktitle = {International Symposium on Principles and Practice of Declarative Programming, {PPDP} 2023, Lisboa, Portugal, October 22-23, 2023}, pages = {4:1--4:13}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3610612.3610616}, doi = {10.1145/3610612.3610616}, timestamp = {Fri, 27 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ppdp/IkemoriCM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/KoopmanL23, author = {Pieter W. M. Koopman and Mart Lubbers}, editor = {Santiago Escobar and Vasco T. Vasconcelos}, title = {Strongly-Typed Multi-View Stack-Based Computations}, booktitle = {International Symposium on Principles and Practice of Declarative Programming, {PPDP} 2023, Lisboa, Portugal, October 22-23, 2023}, pages = {11:1--11:12}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3610612.3610623}, doi = {10.1145/3610612.3610623}, timestamp = {Fri, 27 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ppdp/KoopmanL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/Paulus0N23, author = {Joseph W. N. Paulus and Jorge A. P{\'{e}}rez and Daniele Nantes{-}Sobrinho}, editor = {Santiago Escobar and Vasco T. Vasconcelos}, title = {Termination in Concurrency, Revisited}, booktitle = {International Symposium on Principles and Practice of Declarative Programming, {PPDP} 2023, Lisboa, Portugal, October 22-23, 2023}, pages = {3:1--3:14}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3610612.3610615}, doi = {10.1145/3610612.3610615}, timestamp = {Fri, 27 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ppdp/Paulus0N23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/RaimondiBJ23, author = {Gautier Raimondi and Fr{\'{e}}d{\'{e}}ric Besson and Thomas P. Jensen}, editor = {Santiago Escobar and Vasco T. Vasconcelos}, title = {Type-directed Program Transformation for Constant-Time Enforcement}, booktitle = {International Symposium on Principles and Practice of Declarative Programming, {PPDP} 2023, Lisboa, Portugal, October 22-23, 2023}, pages = {6:1--6:13}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3610612.3610618}, doi = {10.1145/3610612.3610618}, timestamp = {Fri, 27 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ppdp/RaimondiBJ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/Ricciotti23, author = {Wilmer Ricciotti}, editor = {Santiago Escobar and Vasco T. Vasconcelos}, title = {Comprehending queries over finite maps}, booktitle = {International Symposium on Principles and Practice of Declarative Programming, {PPDP} 2023, Lisboa, Portugal, October 22-23, 2023}, pages = {8:1--8:12}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3610612.3610620}, doi = {10.1145/3610612.3610620}, timestamp = {Fri, 27 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ppdp/Ricciotti23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/SaTP23, author = {Luiz De S{\'{a}} and Bernardo Toninho and Frank Pfenning}, editor = {Santiago Escobar and Vasco T. Vasconcelos}, title = {Intuitionistic Metric Temporal Logic}, booktitle = {International Symposium on Principles and Practice of Declarative Programming, {PPDP} 2023, Lisboa, Portugal, October 22-23, 2023}, pages = {9:1--9:13}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3610612.3610621}, doi = {10.1145/3610612.3610621}, timestamp = {Fri, 27 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ppdp/SaTP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/Saffrich023, author = {Hannes Saffrich and Peter Thiemann}, editor = {Santiago Escobar and Vasco T. Vasconcelos}, title = {Polymorphic Typestate for Session Types}, booktitle = {International Symposium on Principles and Practice of Declarative Programming, {PPDP} 2023, Lisboa, Portugal, October 22-23, 2023}, pages = {12:1--12:15}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3610612.3610624}, doi = {10.1145/3610612.3610624}, timestamp = {Fri, 27 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ppdp/Saffrich023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/SullivanDA23, author = {Zachary J. Sullivan and Paul Downen and Zena M. Ariola}, editor = {Santiago Escobar and Vasco T. Vasconcelos}, title = {Closure Conversion in Little Pieces}, booktitle = {International Symposium on Principles and Practice of Declarative Programming, {PPDP} 2023, Lisboa, Portugal, October 22-23, 2023}, pages = {10:1--10:13}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3610612.3610622}, doi = {10.1145/3610612.3610622}, timestamp = {Fri, 27 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ppdp/SullivanDA23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ppdp/2023, editor = {Santiago Escobar and Vasco T. Vasconcelos}, title = {International Symposium on Principles and Practice of Declarative Programming, {PPDP} 2023, Lisboa, Portugal, October 22-23, 2023}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3610612}, doi = {10.1145/3610612}, timestamp = {Wed, 18 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ppdp/2023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.