| 2009 | Context-based proofs of termination for typed delimited-control operators. | Malgorzata Biernacka, Dariusz Biernacki |
| 2009 | Relational semantics for effect-based program transformations: higher-order store. | Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann |
| 2009 | Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas. | Gabriel Aranda-Lpez, Susana Nieva, Fernando Senz-Prez, Jaime Snchez-Hernndez |
| 2009 | Set functions for functional logic programming. | Sergio Antoy, Michael Hanus |
| 2008 | Macros for context-free grammars. | Peter Thiemann, Matthias Neubauer |
| 2008 | Parallel execution of multi-set constraint rewrite rules. | Martin Sulzmann, Edmund S. L. Lam |
| 2008 | 'Galculator': functional prototype of a Galois-connection based proof assistant. | Paulo F. Silva, Jos Nuno Oliveira |
| 2008 | Dynamic variable elimination during propagation solving. | Christian Schulte, Peter J. Stuckey |
| 2008 | Declarative Ajax and client side evaluation of workflows using iTasks. | Rinus Plasmeijer, Jan Martin Jansen, Pieter W. M. Koopman, Peter Achten |
| 2008 | Programming with proofs and explicit contexts. | Brigitte Pientka, Jana Dunfield |
| 2008 | Semantically linear programming languages. | Luca Paolini, Mauro Piccolo |
| 2008 | The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security. | Carlos Olarte, Frank D. Valencia |
| 2008 | Comparing tag scheme variations using an abstract machine generator. | Jos F. Morales, Manuel Carro, Manuel V. Hermenegildo |
| 2008 | A type system for safe memory management and its proof of correctness. | Manuel Montenegro, Ricardo Pena, Clara Segura |
| 2008 | Towards execution time estimation in abstract machine-based languages. | Edison Mera, Pedro Lpez-Garca, Manuel Carro, Manuel V. Hermenegildo |
| 2008 | Cooperation of constraint domains in the | Sonia Estvez Martn, Antonio J. Fernndez, Maria Teresa Hortal-Gonzlez, Mario Rodrguez-Artalejo, Fernando Senz-Prez, Rafael del Vado Vrseda |
| 2008 | Characterizations of polynomial complexity classes with a better intensionality. | Jean-Yves Marion, Romain Pchoux |
| 2008 | Order-sorted dependency pairs. | Salvador Lucas, Jos Meseguer |
| 2008 | Inferring precise polymorphic type dependencies in logic programs. | Lunjin Lu |
| 2008 | Declarative programming for verification: lessons and outlook. | Michael Leuschel |
| 2008 | Call pattern analysis for functional logic programs. | Michael Hanus |
| 2008 | Global difference constraint propagation for finite domain solvers. | Thibaut Feydy, Andreas Schutt, Peter J. Stuckey |
| 2008 | Classifying integrity checking methods with regard to inconsistency tolerance. | Hendrik Decker, Davide Martinenghi |
| 2008 | Comprehending finite maps for algorithmic debugging of higher-order functional programs. | Olaf Chitil, Thomas Davie |
| 2008 | Model-driven constraint programming. | Raphal Chenouard, Laurent Granvilliers, Ricardo Soto |