default search action

combined dblp search
author search
venue search
publication search

ask others

19th PADL 2017: Paris, France

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > PADL

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/padl/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/2017
Yuliya Lierler, Walid Taha:
Practical Aspects of Declarative Languages - 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings. Lecture Notes in Computer Science 10137, Springer 2017, ISBN 978-3-319-51675-2
- view
  authority control:
- export record
  dblp key:
  - conf/padl/AntoyH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/AntoyH17
Sergio Antoy, Michael Hanus:
Eliminating Irrelevant Non-determinism in Functional Logic Programs. 1-18
- view
  authority control:
- export record
  dblp key:
  - conf/padl/ZhouF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/ZhouF17
Neng-Fa Zhou, Jonathan Fruhman:
Canonicalizing High-Level Constructs in Picat. 19-33
- view
  authority control:
- export record
  dblp key:
  - conf/padl/DunduaKR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/DunduaKR17
Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer:
An Overview of PρLog. 34-49
- view
  authority control:
- export record
  dblp key:
  - conf/padl/RathR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/RathR17
Jakob Rath, Christoph Redl:
Integrating Answer Set Programming with Object-Oriented Languages. 50-67
- view
  authority control:
- export record
  dblp key:
  - conf/padl/Redl17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Redl17
Christoph Redl:
Extending Answer Set Programs with Interpreted Functions as First-Class Citizens. 68-85
- view
  authority control:
- export record
  dblp key:
  - conf/padl/Vennekens17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Vennekens17
Joost Vennekens:
Lowering the Learning Curve for Declarative Programming: A Python API for the IDP System. 86-102
- view
  authority control:
- export record
  dblp key:
  - conf/padl/FowlerH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/FowlerH17
Jonathan Fowler, Graham Hutton:
Failing Faster: Overlapping Patterns for Property-Based Testing. 103-119
- view
  authority control:
- export record
  dblp key:
  - conf/padl/BendkowskiGT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/BendkowskiGT17
Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau:
Boltzmann Samplers for Closed Simply-Typed Lambda Terms. 120-135
- view
  authority control:
- export record
  dblp key:
  - conf/padl/HedgesOSWZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/HedgesOSWZ17
Jules Hedges, Paulo Oliva, Evguenia Shprits, Viktor Winschel, Philipp Zahn:
Selection Equilibria of Higher-Order Games. 136-151
- view
  authority control:
- export record
  dblp key:
  - conf/padl/CostantiniGN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/CostantiniGN17
Stefania Costantini, Giovanni De Gasperis, Giulio Nazzicone:
DALI for Cognitive Robotics: Principles and Prototype Implementation. 152-162
- view
  authority control:
- export record
  dblp key:
  - conf/padl/NilssonC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/NilssonC17
Henrik Nilsson, Guerric Chupin:
Funky Grooves: Declarative Programming of Full-Fledged Musical Applications. 163-172
- view
  authority control:
- export record
  dblp key:
  - conf/padl/Mainland17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Mainland17
Geoffrey Mainland:
A Domain-Specific Language for Software-Defined Radio. 173-188
- view
  authority control:
- export record
  dblp key:
  - conf/padl/Klock17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Klock17
Felix S. Klock II:
A Declarative DSL for Customizing ASCII Art. 189-197
- view
  authority control:
- export record
  dblp key:
  - conf/padl/MantadelisR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/MantadelisR17
Theofrastos Mantadelis, Ricardo Rocha:
Using Iterative Deepening for Probabilistic Logic Inference. 198-213

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.