| 2016 | A GPU Implementation of the ASP Computation. Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella |
| 2016 | A Size-Proportionate Bijective Encoding of Lambda Terms as Catalan Objects Endowed with Arithmetic Operations. Paul Tarau |
| 2016 | Computing with Catalan Families, Generically. Paul Tarau |
| 2016 | Default Rules for Curry. Sergio Antoy, Michael Hanus |
| 2016 | From Monads to Effects and Back. Niki Vazou, Daan Leijen |
| 2016 | Generic Matching of Tree Regular Expressions over Haskell Data Types. Alejandro Serrano, Jurriaan Hage |
| 2016 | Haskino: A Remote Monad for Programming the Arduino. Mark Grebe, Andy Gill |
| 2016 | Practical Aspects of Declarative Languages - 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings Marco Gavanelli, John H. Reppy |
| 2016 | Simplifying Probabilistic Programs Using Computer Algebra. Jacques Carette, Chung-chieh Shan |
| 2016 | The KB Paradigm and Its Application to Interactive Configuration. Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker |
| 2016 | The Picat-SAT Compiler. Neng-Fa Zhou, Håkan Kjellerstrand |
| 2016 | Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station. Jan Jelínek, Roman Barták |