| 2013 | A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction. Vítor Rodrigues, Benny Akesson, Simão Melo de Sousa, Mário Florido |
| 2013 | A Declarative-Friendly API for Web Document Manipulation. Benjamin Canou, Emmanuel Chailloux, Vincent Balat |
| 2013 | A Library for Declarative Resolution-Independent 2D Graphics. Paul Klint, Atze van der Ploeg |
| 2013 | A Portable and Efficient Implementation of Coinductive Logic Programming. Paulo Moura |
| 2013 | Analysing the Entire Wikipedia History with Database Supported Haskell. George Giorgidze, Torsten Grust, Iassen Halatchliyski, Michael E. Kummer |
| 2013 | Dependently Typed Web Client Applications - FRP in Agda in HTML5. Alan Jeffrey |
| 2013 | Formalizing a Broader Recursion Coverage in SQL. Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández |
| 2013 | Implementing Equational Constraints in a Functional Language. Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck |
| 2013 | Integrative Functional Statistics in Logic Programming. Nicos Angelopoulos, Vítor Santos Costa, João Azevedo, Jan Wielemaker, Rui Camacho, Lodewyk F. A. Wessels |
| 2013 | LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis. Sergio Castro, Kim Mens, Paulo Moura |
| 2013 | On the Efficient Implementation of Mode-Directed Tabling. João Santos, Ricardo Rocha |
| 2013 | Parallel Performance of Declarative Programming Using a PGAS Model. Rui Machado, Salvador Abreu, Daniel Diaz |
| 2013 | Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings Konstantinos Sagonas |
| 2013 | Reversible Language Extensions and Their Application in Debugging. Zoé Drey, José F. Morales, Manuel V. Hermenegildo, Manuel Carro |
| 2013 | Supporting Pruning in Tabled LP. Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo |
| 2013 | Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs. Senlin Liang, Michael Kifer |
| 2013 | The Generalized Intensional Transformation for Implementing Lazy Functional Languages. Georgios Fourtounis, Nikolaos Papaspyrou, Panos Rondogiannis |
| 2013 | proSQLite: Prolog File Based Databases via an SQLite Interface. Sander Canisius, Nicos Angelopoulos, Lodewyk F. A. Wessels |