![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
PPDP 2017: Namur, Belgium
- Wim Vanhoof, Brigitte Pientka:
Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017. ACM 2017, ISBN 978-1-4503-5291-8 - Serge Abiteboul:
Issues in ethical data management. 1 - Sumit Gulwani:
Programming by examples: applications, algorithms, and ambiguity resolution. 2 - Marieke Huisman
:
A verification technique for deterministic parallel programs. 3 - Beniamino Accattoli, Bruno Barras:
Environments and the complexity of abstract machines. 4-16 - Luis Aguirre
, Narciso Martí-Oliet
, Miguel Palomino
, Isabel Pita
:
Conditional narrowing modulo SMT and axioms. 17-28 - Nicos Angelopoulos, Jan Wielemaker:
Accessing biological data as Prolog facts. 29-38 - Roman Barták
, Adrien Maillard:
Attribute grammars with set attributes and global constraints as a unifying framework for planning domain models. 39-48 - Olivier Savary Bélanger, Andrew W. Appel
:
Shrink fast correctly! 49-60 - Jacek Chrzaszcz, Aleksy Schubert
:
Function definitions for compound values in object-oriented languages. 61-72 - Thibaut Girka, David Mentré, Yann Régis-Gianas:
Verifiable semantic difference languages. 73-84 - Jacob M. Howe
, Edward Robbins
, Andy King:
Theory learning with symmetry breaking. 85-96 - Paul Laforgue, Yann Régis-Gianas:
Copattern matching and first-class observations in OCaml, with a macro. 97-108 - Christopher S. Meiklejohn, Vitor Enes
, Junghun Yoo, Carlos Baquero, Peter Van Roy, Annette Bieniusa:
Practical evaluation of the Lasp programming model at large scale: an experience report. 109-114 - Fred Mesnard, Étienne Payet
, Germán Vidal
:
Selective unification in constraint logic programming. 115-126 - Claudio Antares Mezzina
, Jorge A. Pérez:
Causally consistent reversible choreographies: a monitors-as-memories approach. 127-138 - Amos Robinson, Ben Lippmeier:
Machine fusion: merging merges, more or less. 139-150 - David Sabel
:
Alpha-renaming of higher-order meta-expressions. 151-162 - José Espírito Santo
, Silvia Ghilezan
:
Characterization of strong normalizability for a sequent lambda calculus with co-control. 163-174 - Ulrich Schöpp
:
Defunctionalisation as modular closure conversion. 175-186 - Wilmer Ricciotti:
A core calculus for provenance inspection. 187-198 - Thomas Winant, Jesper Cockx
, Dominique Devriese
:
Expressive and strongly type-safe code generation. 199-210
![](https://dblp.dagstuhl.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.