default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPPDP 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
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.
last updated on 2025-11-26 07:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
