default search action

combined dblp search
author search
venue search
publication search

ask others

18th PADL 2016: St. Petersburg, FL, USA

> 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/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/2016
Marco Gavanelli, John H. Reppy:
Practical Aspects of Declarative Languages - 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings. Lecture Notes in Computer Science 9585, Springer 2016, ISBN 978-3-319-28227-5

Constraint and Logic Programming

- view
  authority control:
- export record
  dblp key:
  - conf/padl/JelinekB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/JelinekB16
Jan Jelínek, Roman Barták:
Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station. 3-12
- view
  authority control:
- export record
  dblp key:
  - conf/padl/HertumDJD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/HertumDJD16
Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker:
The KB Paradigm and Its Application to Interactive Configuration. 13-29
- view
  authority control:
- export record
  dblp key:
  - conf/padl/DovierFPV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/DovierFPV16
Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella:
A GPU Implementation of the ASP Computation. 30-47
- view
  authority control:
- export record
  dblp key:
  - conf/padl/ZhouK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/ZhouK16
Neng-Fa Zhou, Håkan Kjellerstrand:
The Picat-SAT Compiler. 48-62

Functional Programming

- view
  authority control:
- export record
  dblp key:
  - conf/padl/AntoyH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/AntoyH16
Sergio Antoy, Michael Hanus:
Default Rules for Curry. 65-82
- view
  authority control:
- export record
  dblp key:
  - conf/padl/SerranoH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/SerranoH16
Alejandro Serrano, Jurriaan Hage:
Generic Matching of Tree Regular Expressions over Haskell Data Types. 83-98
- view
  authority control:
- export record
  dblp key:
  - conf/padl/Tarau16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Tarau16
Paul Tarau:
A Size-Proportionate Bijective Encoding of Lambda Terms as Catalan Objects Endowed with Arithmetic Operations. 99-116
- view
  authority control:
- export record
  dblp key:
  - conf/padl/Tarau16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Tarau16a
Paul Tarau:
Computing with Catalan Families, Generically. 117-134
- view
  authority control:
- export record
  dblp key:
  - conf/padl/CaretteS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/CaretteS16
Jacques Carette, Chung-chieh Shan:
Simplifying Probabilistic Programs Using Computer Algebra. 135-152
- view
  authority control:
- export record
  dblp key:
  - conf/padl/GrebeG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/GrebeG16
Mark Grebe, Andy Gill:
Haskino: A Remote Monad for Programming the Arduino. 153-168
- view
  authority control:
- export record
  dblp key:
  - conf/padl/VazouL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/VazouL16
Niki Vazou, Daan Leijen:
From Monads to Effects and Back. 169-186

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.