Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming - PPDP '17
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450352918

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Verifiable semantic difference languages

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming - PPDP '17 ◽

10.1145/3131851.3131870 ◽

2017 ◽

Cited By ~ 2

Author(s):

Thibaut Girka ◽

David Mentré ◽

Yann Régis-Gianas

Keyword(s):

Semantic Difference

Programming by examples

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming - PPDP '17 ◽

10.1145/3131851.3131853 ◽

2017 ◽

Cited By ~ 3

Author(s):

Sumit Gulwani

Characterization of strong normalizability for a sequent lambda calculus with co-control

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming - PPDP '17 ◽

10.1145/3131851.3131867 ◽

2017 ◽

Cited By ~ 1

Author(s):

José Espírito Santo ◽

Silvia Ghilezan

Keyword(s):

Lambda Calculus

Issues in ethical data management

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming - PPDP '17 ◽

10.1145/3131851.3131854 ◽

2017 ◽

Author(s):

Serge Abiteboul

Keyword(s):

Data Management

Accessing biological data as Prolog facts

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming - PPDP '17 ◽

10.1145/3131851.3131857 ◽

2017 ◽

Cited By ~ 1

Author(s):

Nicos Angelopoulos ◽

Jan Wielemaker

Keyword(s):

Biological Data

Selective unification in constraint logic programming

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming - PPDP '17 ◽

10.1145/3131851.3131863 ◽

2017 ◽

Cited By ~ 1

Author(s):

Fred Mesnard ◽

Étienne Payet ◽

Germán Vidal

Keyword(s):

Logic Programming ◽

Constraint Logic Programming

Theory learning with symmetry breaking

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming - PPDP '17 ◽

10.1145/3131851.3131861 ◽

2017 ◽

Author(s):

Jacob M. Howe ◽

Ed Robbins ◽

Andy King

Keyword(s):

Symmetry Breaking

Function definitions for compound values in object-oriented languages

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming - PPDP '17 ◽

10.1145/3131851.3131860 ◽

2017 ◽

Author(s):

Jacek Chrząszcz ◽

Aleksy Schubert

Keyword(s):

Object Oriented ◽

Object Oriented Languages

Causally consistent reversible choreographies

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming - PPDP '17 ◽

10.1145/3131851.3131864 ◽

2017 ◽

Cited By ~ 8

Author(s):

Claudio Antares Mezzina ◽

Jorge A. Pérez

Copattern matching and first-class observations in OCaml, with a macro

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming - PPDP '17 ◽

10.1145/3131851.3131869 ◽

2017 ◽

Cited By ~ 4

Author(s):

Paul Laforgue ◽

Yann Régis-Gianas

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming - PPDP '17Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Verifiable semantic difference languages

Programming by examples

Characterization of strong normalizability for a sequent lambda calculus with co-control

Issues in ethical data management

Accessing biological data as Prolog facts

Selective unification in constraint logic programming

Theory learning with symmetry breaking

Function definitions for compound values in object-oriented languages

Causally consistent reversible choreographies

Copattern matching and first-class observations in OCaml, with a macro

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming - PPDP '17
Latest Publications