Search dblp for Publications

export results for "toc:db/conf/ppdp/ppdp2023.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.