![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
18th PADL 2016: St. Petersburg, FL, USA
- 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
- Jan Jelínek
, Roman Barták
:
Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station. 3-12 - Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker
:
The KB Paradigm and Its Application to Interactive Configuration. 13-29 - Agostino Dovier
, Andrea Formisano, Enrico Pontelli
, Flavio Vella
:
A GPU Implementation of the ASP Computation. 30-47 - Neng-Fa Zhou, Håkan Kjellerstrand:
The Picat-SAT Compiler. 48-62
Functional Programming
- Sergio Antoy, Michael Hanus
:
Default Rules for Curry. 65-82 - Alejandro Serrano, Jurriaan Hage:
Generic Matching of Tree Regular Expressions over Haskell Data Types. 83-98 - Paul Tarau:
A Size-Proportionate Bijective Encoding of Lambda Terms as Catalan Objects Endowed with Arithmetic Operations. 99-116 - Paul Tarau:
Computing with Catalan Families, Generically. 117-134 - Jacques Carette
, Chung-chieh Shan:
Simplifying Probabilistic Programs Using Computer Algebra. 135-152 - Mark Grebe, Andy Gill:
Haskino: A Remote Monad for Programming the Arduino. 153-168 - Niki Vazou
, Daan Leijen:
From Monads to Effects and Back. 169-186
![](https://dblp.uni-trier.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.