| 2008 | A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers. Mary F. Fernández, Kathleen Fisher, J. Nathan Foster, Michael Greenberg, Yitzhak Mandelbaum |
| 2008 | An Improved Continuation Call-Based Implementation of Tabling. Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva, Ricardo Rocha |
| 2008 | Automatic Coding Rule Conformance Checking Using Logic Programming. Guillem Marpons-Ucero, Julio Mariño-Carballo, Manuel Carro, Ángel Herranz-Nieva, Juan José Moreno-Navarro, Lars-Åke Fredlund |
| 2008 | Certified Development Tools Implementation in Objective Caml. Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang |
| 2008 | Comprehension and Dependency Analysis of Aspect-Oriented Programs through Declarative Reasoning. Laleh Mousavi Eshkevari, Venera Arnaoudova, Constantinos Constantinides |
| 2008 | DCGs + Memoing = Packrat Parsing but Is It Worth It? Ralph Becket, Zoltan Somogyi |
| 2008 | Efficient Reasoning for Nogoods in Constraint Solvers with BDDs. Sathiamoorthy Subbarayan |
| 2008 | Flexible, Rule-Based Constraint Model Linearisation. Sebastian Brand, Gregory J. Duck, Jakob Puchinger, Peter J. Stuckey |
| 2008 | Hierarchical Master-Worker Skeletons. Jost Berthold, Mischa Dieterle, Rita Loogen, Steffen Priebe |
| 2008 | High-Level Database Programming in Curry. Bernd Braßel, Michael Hanus, Marion Müller |
| 2008 | High-Level Multi-threading Programming in Logtalk. Paulo Moura, Paul Crocker, Paulo Nunes |
| 2008 | Industrial Functional Programming. John Launchbury |
| 2008 | Matchete: Paths through the Pattern Matching Jungle. Martin Hirzel, Nathaniel Nystrom, Bard Bloom, Jan Vitek |
| 2008 | Model-Based Testing of Thin-Client Web Applications and Navigation Input. Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer |
| 2008 | Parser Combinators for Ambiguous Left-Recursive Grammars. Richard A. Frost, Rahmatullah Hafiz, Paul Callaghan |
| 2008 | Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Paul Hudak, David Scott Warren |
| 2008 | Scheduling Light-Weight Parallelism in ArTCoP. Jost Berthold, Abyd Al Zain, Hans-Wolfgang Loidl |
| 2008 | Specialising Simulator Generators for High-Performance Monte-Carlo Methods. Gabriele Keller, Hugh Chaffey-Millar, Manuel M. T. Chakravarty, Don Stewart, Christopher Barner-Kowollik |
| 2008 | Switched-On Yampa. George Giorgidze, Henrik Nilsson |
| 2008 | The Role of Abduction in Declarative Authorization Policies. Moritz Y. Becker, Sebastian Nanz |
| 2008 | Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism. Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
| 2008 | Unification of Arrays in Spreadsheets with Logic Programming. Philip T. Cox, Patrick K. Nicholson |