Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/ppdp/0001CLR21,
  author       = {Kwanghoon Choi and
                  James Cheney and
                  Sam Lindley and
                  Bob Reynders},
  editor       = {Niccol{\`{o}} Veltri and
                  Nick Benton and
                  Silvia Ghilezan},
  title        = {A Typed Slicing Compilation of the Polymorphic {RPC} calculus},
  booktitle    = {{PPDP} 2021: 23rd International Symposium on Principles and Practice
                  of Declarative Programming, Tallinn, Estonia, September 6-8, 2021},
  pages        = {11:1--11:15},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3479394.3479406},
  doi          = {10.1145/3479394.3479406},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/0001CLR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/0001PS21,
  author       = {Abhishek De and
                  Luc Pellissier and
                  Alexis Saurin},
  editor       = {Niccol{\`{o}} Veltri and
                  Nick Benton and
                  Silvia Ghilezan},
  title        = {Canonical proof-objects for coinductive programming: infinets with
                  infinitely many cuts},
  booktitle    = {{PPDP} 2021: 23rd International Symposium on Principles and Practice
                  of Declarative Programming, Tallinn, Estonia, September 6-8, 2021},
  pages        = {7:1--7:15},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3479394.3479402},
  doi          = {10.1145/3479394.3479402},
  timestamp    = {Wed, 27 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/0001PS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/ArslanagicP021,
  author       = {Alen Arslanagic and
                  Anda{-}Amelia Palamariuc and
                  Jorge A. P{\'{e}}rez},
  editor       = {Niccol{\`{o}} Veltri and
                  Nick Benton and
                  Silvia Ghilezan},
  title        = {Minimal Session Types for the {\(\pi\)}-calculus},
  booktitle    = {{PPDP} 2021: 23rd International Symposium on Principles and Practice
                  of Declarative Programming, Tallinn, Estonia, September 6-8, 2021},
  pages        = {12:1--12:15},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3479394.3479407},
  doi          = {10.1145/3479394.3479407},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/ArslanagicP021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/BiernackaCD21,
  author       = {Malgorzata Biernacka and
                  Witold Charatonik and
                  Tomasz Drab},
  editor       = {Niccol{\`{o}} Veltri and
                  Nick Benton and
                  Silvia Ghilezan},
  title        = {A Derived Reasonable Abstract Machine for Strong Call by Value},
  booktitle    = {{PPDP} 2021: 23rd International Symposium on Principles and Practice
                  of Declarative Programming, Tallinn, Estonia, September 6-8, 2021},
  pages        = {6:1--6:14},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3479394.3479401},
  doi          = {10.1145/3479394.3479401},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/BiernackaCD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/BiernackiPS21,
  author       = {Dariusz Biernacki and
                  Mateusz Pyzik and
                  Filip Sieczkowski},
  editor       = {Niccol{\`{o}} Veltri and
                  Nick Benton and
                  Silvia Ghilezan},
  title        = {Reflecting Stacked Continuations in a Fine-Grained Direct-Style Reduction
                  Theory},
  booktitle    = {{PPDP} 2021: 23rd International Symposium on Principles and Practice
                  of Declarative Programming, Tallinn, Estonia, September 6-8, 2021},
  pages        = {4:1--4:13},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3479394.3479399},
  doi          = {10.1145/3479394.3479399},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/BiernackiPS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/BohmHT21,
  author       = {Jonas B{\"{o}}hm and
                  Michael Hanus and
                  Finn Teegen},
  editor       = {Niccol{\`{o}} Veltri and
                  Nick Benton and
                  Silvia Ghilezan},
  title        = {From Non-determinism to Goroutines: {A} Fair Implementation of Curry
                  in Go},
  booktitle    = {{PPDP} 2021: 23rd International Symposium on Principles and Practice
                  of Declarative Programming, Tallinn, Estonia, September 6-8, 2021},
  pages        = {16:1--16:15},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3479394.3479411},
  doi          = {10.1145/3479394.3479411},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/BohmHT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/CarvalhoS21,
  author       = {Lu{\'{\i}}s Carvalho and
                  Jo{\~{a}}o Costa Seco},
  editor       = {Niccol{\`{o}} Veltri and
                  Nick Benton and
                  Silvia Ghilezan},
  title        = {Deep Semantic Versioning for Evolution and Variability},
  booktitle    = {{PPDP} 2021: 23rd International Symposium on Principles and Practice
                  of Declarative Programming, Tallinn, Estonia, September 6-8, 2021},
  pages        = {21:1--21:13},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3479394.3479416},
  doi          = {10.1145/3479394.3479416},
  timestamp    = {Thu, 12 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/CarvalhoS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/CirsteaLM21,
  author       = {Horatiu Cirstea and
                  Pierre Lermusiaux and
                  Pierre{-}Etienne Moreau},
  editor       = {Niccol{\`{o}} Veltri and
                  Nick Benton and
                  Silvia Ghilezan},
  title        = {Static analysis of pattern-free properties},
  booktitle    = {{PPDP} 2021: 23rd International Symposium on Principles and Practice
                  of Declarative Programming, Tallinn, Estonia, September 6-8, 2021},
  pages        = {9:1--9:13},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3479394.3479404},
  doi          = {10.1145/3479394.3479404},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/CirsteaLM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/DagefordeWK21,
  author       = {Jan C. Dagef{\"{o}}rde and
                  Hendrik Winkelmann and
                  Herbert Kuchen},
  editor       = {Niccol{\`{o}} Veltri and
                  Nick Benton and
                  Silvia Ghilezan},
  title        = {Free Objects in Constraint-logic Object-oriented Programming},
  booktitle    = {{PPDP} 2021: 23rd International Symposium on Principles and Practice
                  of Declarative Programming, Tallinn, Estonia, September 6-8, 2021},
  pages        = {14:1--14:13},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3479394.3479409},
  doi          = {10.1145/3479394.3479409},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/DagefordeWK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/DaukantasBS21,
  author       = {Ieva Daukantas and
                  Alessandro Bruni and
                  Carsten Sch{\"{u}}rmann},
  editor       = {Niccol{\`{o}} Veltri and
                  Nick Benton and
                  Silvia Ghilezan},
  title        = {Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation},
  booktitle    = {{PPDP} 2021: 23rd International Symposium on Principles and Practice
                  of Declarative Programming, Tallinn, Estonia, September 6-8, 2021},
  pages        = {17:1--17:9},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3479394.3479412},
  doi          = {10.1145/3479394.3479412},
  timestamp    = {Wed, 10 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/DaukantasBS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/EchahedEMP21,
  author       = {Rachid Echahed and
                  Mnacho Echenim and
                  Mehdi Mhalla and
                  Nicolas Peltier},
  editor       = {Niccol{\`{o}} Veltri and
                  Nick Benton and
                  Silvia Ghilezan},
  title        = {A Superposition-Based Calculus for Diagrammatic Reasoning},
  booktitle    = {{PPDP} 2021: 23rd International Symposium on Principles and Practice
                  of Declarative Programming, Tallinn, Estonia, September 6-8, 2021},
  pages        = {10:1--10:13},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3479394.3479405},
  doi          = {10.1145/3479394.3479405},
  timestamp    = {Wed, 27 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/EchahedEMP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/ErbaturSX21,
  author       = {Serdar Erbatur and
                  Ulrich Sch{\"{o}}pp and
                  Chuangjie Xu},
  editor       = {Niccol{\`{o}} Veltri and
                  Nick Benton and
                  Silvia Ghilezan},
  title        = {Type-based Enforcement of Infinitary Trace Properties for Java},
  booktitle    = {{PPDP} 2021: 23rd International Symposium on Principles and Practice
                  of Declarative Programming, Tallinn, Estonia, September 6-8, 2021},
  pages        = {18:1--18:14},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3479394.3479413},
  doi          = {10.1145/3479394.3479413},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/ErbaturSX21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/FereyJ21,
  author       = {Gaspard F{\'{e}}rey and
                  Jean{-}Pierre Jouannaud},
  editor       = {Niccol{\`{o}} Veltri and
                  Nick Benton and
                  Silvia Ghilezan},
  title        = {Confluence in Non-Left-Linear Untyped Higher-Order Rewrite Theories},
  booktitle    = {{PPDP} 2021: 23rd International Symposium on Principles and Practice
                  of Declarative Programming, Tallinn, Estonia, September 6-8, 2021},
  pages        = {8:1--8:14},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3479394.3479403},
  doi          = {10.1145/3479394.3479403},
  timestamp    = {Wed, 27 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/FereyJ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/Gaboardi21,
  author       = {Marco Gaboardi},
  editor       = {Niccol{\`{o}} Veltri and
                  Nick Benton and
                  Silvia Ghilezan},
  title        = {Programming Languages Techniques for Controlling Generalization Errors
                  in Adaptive Data Analysis},
  booktitle    = {{PPDP} 2021: 23rd International Symposium on Principles and Practice
                  of Declarative Programming, Tallinn, Estonia, September 6-8, 2021},
  pages        = {1:1},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3479394.3479395},
  doi          = {10.1145/3479394.3479395},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/Gaboardi21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/HarrisonHA21,
  author       = {William L. Harrison and
                  Chris Hathhorn and
                  Gerard Allwein},
  editor       = {Niccol{\`{o}} Veltri and
                  Nick Benton and
                  Silvia Ghilezan},
  title        = {A Mechanized Semantic Metalanguage for High Level Synthesis},
  booktitle    = {{PPDP} 2021: 23rd International Symposium on Principles and Practice
                  of Declarative Programming, Tallinn, Estonia, September 6-8, 2021},
  pages        = {22:1--22:14},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3479394.3479417},
  doi          = {10.1145/3479394.3479417},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/HarrisonHA21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/JaagerP21,
  author       = {Joosep J{\"{a}}{\"{a}}ger and
                  Alisa Pankova},
  editor       = {Niccol{\`{o}} Veltri and
                  Nick Benton and
                  Silvia Ghilezan},
  title        = {PrivaLog: a Privacy-aware Logic Programming Language},
  booktitle    = {{PPDP} 2021: 23rd International Symposium on Principles and Practice
                  of Declarative Programming, Tallinn, Estonia, September 6-8, 2021},
  pages        = {15:1--15:14},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3479394.3479410},
  doi          = {10.1145/3479394.3479410},
  timestamp    = {Wed, 27 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/JaagerP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/JakobsenRD21,
  author       = {Mathias Jakobsen and
                  Alice Ravier and
                  Ornela Dardha},
  editor       = {Niccol{\`{o}} Veltri and
                  Nick Benton and
                  Silvia Ghilezan},
  title        = {Papaya: Global Typestate Analysis of Aliased Objects},
  booktitle    = {{PPDP} 2021: 23rd International Symposium on Principles and Practice
                  of Declarative Programming, Tallinn, Estonia, September 6-8, 2021},
  pages        = {19:1--19:13},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3479394.3479414},
  doi          = {10.1145/3479394.3479414},
  timestamp    = {Wed, 27 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/JakobsenRD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/KrishnamurthyS21,
  author       = {Jayanth Krishnamurthy and
                  Manuel Serrano},
  editor       = {Niccol{\`{o}} Veltri and
                  Nick Benton and
                  Silvia Ghilezan},
  title        = {Causality Error Tracing in HipHop.js},
  booktitle    = {{PPDP} 2021: 23rd International Symposium on Principles and Practice
                  of Declarative Programming, Tallinn, Estonia, September 6-8, 2021},
  pages        = {13:1--13:13},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3479394.3479408},
  doi          = {10.1145/3479394.3479408},
  timestamp    = {Wed, 27 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/KrishnamurthyS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/RoweRK21,
  author       = {Paul D. Rowe and
                  John D. Ramsdell and
                  Ian D. Kretz},
  editor       = {Niccol{\`{o}} Veltri and
                  Nick Benton and
                  Silvia Ghilezan},
  title        = {Automated Trust Analysis of Copland Specifications for Layered Attestations{\unicode{10033}}},
  booktitle    = {{PPDP} 2021: 23rd International Symposium on Principles and Practice
                  of Declarative Programming, Tallinn, Estonia, September 6-8, 2021},
  pages        = {23:1--23:15},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3479394.3479418},
  doi          = {10.1145/3479394.3479418},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/RoweRK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/ToninhoCP21,
  author       = {Bernardo Toninho and
                  Lu{\'{\i}}s Caires and
                  Frank Pfenning},
  editor       = {Niccol{\`{o}} Veltri and
                  Nick Benton and
                  Silvia Ghilezan},
  title        = {A Decade of Dependent Session Types},
  booktitle    = {{PPDP} 2021: 23rd International Symposium on Principles and Practice
                  of Declarative Programming, Tallinn, Estonia, September 6-8, 2021},
  pages        = {3:1--3:3},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3479394.3479398},
  doi          = {10.1145/3479394.3479398},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/ToninhoCP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/Wolfram21,
  author       = {Stephen Wolfram},
  editor       = {Niccol{\`{o}} Veltri and
                  Nick Benton and
                  Silvia Ghilezan},
  title        = {The Computational Structure of Programs and the Universe},
  booktitle    = {{PPDP} 2021: 23rd International Symposium on Principles and Practice
                  of Declarative Programming, Tallinn, Estonia, September 6-8, 2021},
  pages        = {2:1},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3479394.3479397},
  doi          = {10.1145/3479394.3479397},
  timestamp    = {Wed, 27 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/Wolfram21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/ZhaoSRS21,
  author       = {David Zhao and
                  Pavle Subotic and
                  Mukund Raghothaman and
                  Bernhard Scholz},
  editor       = {Niccol{\`{o}} Veltri and
                  Nick Benton and
                  Silvia Ghilezan},
  title        = {Towards Elastic Incrementalization for Datalog},
  booktitle    = {{PPDP} 2021: 23rd International Symposium on Principles and Practice
                  of Declarative Programming, Tallinn, Estonia, September 6-8, 2021},
  pages        = {20:1--20:16},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3479394.3479415},
  doi          = {10.1145/3479394.3479415},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/ZhaoSRS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/deLiguoroT21,
  author       = {Ugo de'Liguoro and
                  Riccardo Treglia},
  editor       = {Niccol{\`{o}} Veltri and
                  Nick Benton and
                  Silvia Ghilezan},
  title        = {Intersection types for a {\(\lambda\)}-calculus with global store},
  booktitle    = {{PPDP} 2021: 23rd International Symposium on Principles and Practice
                  of Declarative Programming, Tallinn, Estonia, September 6-8, 2021},
  pages        = {5:1--5:11},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3479394.3479400},
  doi          = {10.1145/3479394.3479400},
  timestamp    = {Wed, 27 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/deLiguoroT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ppdp/2021,
  editor       = {Niccol{\`{o}} Veltri and
                  Nick Benton and
                  Silvia Ghilezan},
  title        = {{PPDP} 2021: 23rd International Symposium on Principles and Practice
                  of Declarative Programming, Tallinn, Estonia, September 6-8, 2021},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3479394},
  doi          = {10.1145/3479394},
  isbn         = {978-1-4503-8689-0},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/2021.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.