![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/ppdp/ppdp2014.bht:"
@inproceedings{DBLP:conf/ppdp/AotoS14, author = {Takahito Aoto and Sorin Stratulat}, editor = {Olaf Chitil and Andy King and Olivier Danvy}, title = {Decision Procedures for Proving Inductive Theorems without Induction}, booktitle = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014}, pages = {237--248}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2643135.2643156}, doi = {10.1145/2643135.2643156}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/AotoS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/AsaiFTZ14, author = {Kenichi Asai and Luminous Fennell and Peter Thiemann and Yang Zhang}, editor = {Olaf Chitil and Andy King and Olivier Danvy}, title = {A Type Theoretic Specification of Partial Evaluation}, booktitle = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014}, pages = {57--68}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2643135.2643146}, doi = {10.1145/2643135.2643146}, timestamp = {Mon, 23 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/AsaiFTZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/ChenDY14, author = {Tzu{-}Chun Chen and Mariangiola Dezani{-}Ciancaglini and Nobuko Yoshida}, editor = {Olaf Chitil and Andy King and Olivier Danvy}, title = {On the Preciseness of Subtyping in Session Types}, booktitle = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014}, pages = {135--146}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2643135.2643138}, doi = {10.1145/2643135.2643138}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ppdp/ChenDY14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/CheneyAA14, author = {James Cheney and Amal Ahmed and Umut A. Acar}, editor = {Olaf Chitil and Andy King and Olivier Danvy}, title = {Database Queries that Explain their Work}, booktitle = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014}, pages = {271--282}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2643135.2643143}, doi = {10.1145/2643135.2643143}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/CheneyAA14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/CruzRG14, author = {Fl{\'{a}}vio Cruz and Ricardo Rocha and Seth Copen Goldstein}, editor = {Olaf Chitil and Andy King and Olivier Danvy}, title = {Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs}, booktitle = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014}, pages = {43--54}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2643135.2643150}, doi = {10.1145/2643135.2643150}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/CruzRG14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/DouenceT14, author = {R{\'{e}}mi Douence and Nicolas Tabareau}, editor = {Olaf Chitil and Andy King and Olivier Danvy}, title = {Lazier Imperative Programming}, booktitle = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014}, pages = {7--18}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2643135.2643159}, doi = {10.1145/2643135.2643159}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/DouenceT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/DownenMAV14, author = {Paul Downen and Luke Maurer and Zena M. Ariola and Daniele Varacca}, editor = {Olaf Chitil and Andy King and Olivier Danvy}, title = {Continuations, Processes, and Sharing}, booktitle = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014}, pages = {69--80}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2643135.2643155}, doi = {10.1145/2643135.2643155}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/DownenMAV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/FerreiraP14, author = {Francisco Ferreira and Brigitte Pientka}, editor = {Olaf Chitil and Andy King and Olivier Danvy}, title = {Bidirectional Elaboration of Dependently Typed Programs}, booktitle = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014}, pages = {161--174}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2643135.2643153}, doi = {10.1145/2643135.2643153}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/FerreiraP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/Giacobazzi14, author = {Roberto Giacobazzi}, editor = {Olaf Chitil and Andy King and Olivier Danvy}, title = {Unveiling and Veiling Information in Programs}, booktitle = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014}, pages = {211--212}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2643135.2643137}, doi = {10.1145/2643135.2643137}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/Giacobazzi14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/GiavittoE14, author = {Jean{-}Louis Giavitto and Jos{\'{e}} Echeveste}, editor = {Olaf Chitil and Andy King and Olivier Danvy}, title = {Real-Time Matching of Antescofo Temporal Patterns}, booktitle = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014}, pages = {93--104}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2643135.2643158}, doi = {10.1145/2643135.2643158}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/GiavittoE14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/Haemmerle14, author = {R{\'{e}}my Haemmerl{\'{e}}}, editor = {Olaf Chitil and Andy King and Olivier Danvy}, title = {On Combining Backward and Forward Chaining in Constraint Logic Programming}, booktitle = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014}, pages = {213--224}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2643135.2643144}, doi = {10.1145/2643135.2643144}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/Haemmerle14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/Ilik14, author = {Danko Ilik}, editor = {Olaf Chitil and Andy King and Olivier Danvy}, title = {Proofs in continuation-passing style: normalization of G{\"{o}}del's System {T} extended with sums and delimited control operators: Distilled Tutorial}, booktitle = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014}, pages = {55--56}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2643135.2643161}, doi = {10.1145/2643135.2643161}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/Ilik14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/JansenDDJ14, author = {Joachim Jansen and Ingmar Dasseville and Jo Devriendt and Gerda Janssens}, editor = {Olaf Chitil and Andy King and Olivier Danvy}, title = {Experimental Evaluation of a State-Of-The-Art Grounder}, booktitle = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014}, pages = {249--258}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2643135.2643149}, doi = {10.1145/2643135.2643149}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/JansenDDJ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/Karczmarczuk14, author = {Jerzy Karczmarczuk}, editor = {Olaf Chitil and Andy King and Olivier Danvy}, title = {On the Declarative Structure of Quantum Concepts: States and Observables (Distilled Tutorial)}, booktitle = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014}, pages = {105--110}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2643135.2643162}, doi = {10.1145/2643135.2643162}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/Karczmarczuk14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/KranzS14, author = {Julian Kranz and Axel Simon}, editor = {Olaf Chitil and Andy King and Olivier Danvy}, title = {Structure-Preserving Compilation: Efficient Integration of Functional DSLs into Legacy Systems}, booktitle = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014}, pages = {187--198}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2643135.2643157}, doi = {10.1145/2643135.2643157}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/KranzS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/LammelVLSF14, author = {Ralf L{\"{a}}mmel and Andrei Varanovich and Martin Leinberger and Thomas Schmorleiz and Jean{-}Marie Favre}, editor = {Olaf Chitil and Andy King and Olivier Danvy}, title = {Declarative Software Development: Distilled Tutorial}, booktitle = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014}, pages = {1--6}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2643135.2643163}, doi = {10.1145/2643135.2643163}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ppdp/LammelVLSF14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/LucasM14, author = {Salvador Lucas and Jos{\'{e}} Meseguer}, editor = {Olaf Chitil and Andy King and Olivier Danvy}, title = {Proving Operational Termination of Declarative Programs in General Logics}, booktitle = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014}, pages = {111--122}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2643135.2643152}, doi = {10.1145/2643135.2643152}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ppdp/LucasM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/MehnerSSV14, author = {Stefan Mehner and Daniel Seidel and Lutz Stra{\ss}burger and Janis Voigtl{\"{a}}nder}, editor = {Olaf Chitil and Andy King and Olivier Danvy}, title = {Parametricity and Proving Free Theorems for Functional-Logic Languages}, booktitle = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014}, pages = {19--30}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2643135.2643147}, doi = {10.1145/2643135.2643147}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/MehnerSSV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/Neron14, author = {Pierre Neron}, editor = {Olaf Chitil and Andy King and Olivier Danvy}, title = {Elimination of Square Roots and Divisions by Partial Inlining}, booktitle = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014}, pages = {81--92}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2643135.2643140}, doi = {10.1145/2643135.2643140}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/Neron14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/NilssonP14, author = {Henrik Nilsson and Ivan Perez}, editor = {Olaf Chitil and Andy King and Olivier Danvy}, title = {Declarative Game Programming: Distilled Tutorial}, booktitle = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014}, pages = {159--160}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2643135.2643160}, doi = {10.1145/2643135.2643160}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/NilssonP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/PachecoZH14, author = {Hugo Pacheco and Tao Zan and Zhenjiang Hu}, editor = {Olaf Chitil and Andy King and Olivier Danvy}, title = {BiFluX: {A} Bidirectional Functional Update Language for {XML}}, booktitle = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014}, pages = {147--158}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2643135.2643141}, doi = {10.1145/2643135.2643141}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/PachecoZH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/Ramsay14, author = {Steven J. Ramsay}, editor = {Olaf Chitil and Andy King and Olivier Danvy}, title = {Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes}, booktitle = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014}, pages = {175--186}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2643135.2643142}, doi = {10.1145/2643135.2643142}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ppdp/Ramsay14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/Schopp14, author = {Ulrich Sch{\"{o}}pp}, editor = {Olaf Chitil and Andy King and Olivier Danvy}, title = {Organising Low-Level Programs using Higher Types}, booktitle = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014}, pages = {199--210}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2643135.2643151}, doi = {10.1145/2643135.2643151}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ppdp/Schopp14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/SchrijversWDD14, author = {Tom Schrijvers and Nicolas Wu and Benoit Desouter and Bart Demoen}, editor = {Olaf Chitil and Andy King and Olivier Danvy}, title = {Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation}, booktitle = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014}, pages = {259--270}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2643135.2643145}, doi = {10.1145/2643135.2643145}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ppdp/SchrijversWDD14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/StulovaMH14, author = {Nataliia Stulova and Jos{\'{e}} F. Morales and Manuel V. Hermenegildo}, editor = {Olaf Chitil and Andy King and Olivier Danvy}, title = {Assertion-based Debugging of Higher-Order {(C)LP} Programs}, booktitle = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014}, pages = {225--235}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2643135.2643148}, doi = {10.1145/2643135.2643148}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/StulovaMH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/Tarau14, author = {Paul Tarau}, editor = {Olaf Chitil and Andy King and Olivier Danvy}, title = {Bijective Collection Encodings and Boolean Operations with Hereditarily Binary Natural Numbers}, booktitle = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014}, pages = {31--42}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2643135.2643139}, doi = {10.1145/2643135.2643139}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/Tarau14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/YangEMMN14, author = {Fan Yang and Santiago Escobar and Catherine Meadows and Jos{\'{e}} Meseguer and Paliath Narendran}, editor = {Olaf Chitil and Andy King and Olivier Danvy}, title = {Theories of Homomorphic Encryption, Unification, and the Finite Variant Property}, booktitle = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014}, pages = {123--133}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2643135.2643154}, doi = {10.1145/2643135.2643154}, timestamp = {Thu, 06 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ppdp/YangEMMN14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ppdp/2014, editor = {Olaf Chitil and Andy King and Olivier Danvy}, title = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014}, publisher = {{ACM}}, year = {2014}, url = {http://dl.acm.org/citation.cfm?id=2643135}, isbn = {978-1-4503-2947-7}, timestamp = {Wed, 29 Mar 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ppdp/2014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.