| 2010 | An Integrated Distance for Atoms. | Vicent Estruch, Csar Ferri, Jos Hernndez-Orallo, M. Jos Ramrez-Quintana |
| 2010 | A Skeleton for Distributed Work Pools in Eden. | Mischa Dieterle, Jost Berthold, Rita Loogen |
| 2010 | Defunctionalized Interpreters for Call-by-Need Evaluation. | Olivier Danvy, Kevin Millikin, Johan Munk, Ian Zerny |
| 2010 | Applying Constraint Logic Programming to SQL Test Case Generation. | Rafael Caballero, Yolanda Garca-Ruiz, Fernando Senz-Prez |
| 2010 | Internal Normalization, Compilation and Decompilation for System | Stefano Berardi, Makoto Tatsuta |
| 2010 | A Functional Framework for Result Checking. | Gilles Barthe, Pablo Buiras, Csar Kunz |
| 2010 | Complexity Analysis by Graph Rewriting. | Martin Avanzini, Georg Moser |
| 2010 | A Complete Axiomatization of Strict Equality. | Javier lvez, Francisco Javier Lpez-Fraguas |
| 2010 | PiSigma: Dependent Types without the Sugar. | Thorsten Altenkirch, Nils Anders Danielsson, Andres Lh, Nicolas Oury |
| 2010 | Towards Normalization by Evaluation for the | Andreas Abel |
| 2008 | Strictness Analysis Algorithms Based on an Inequality System for Lazy Types. | Hirofumi Yokouchi |
| 2008 | Semantics and Pragmatics of New Shortcut Fusion Rules. | Janis Voigtlnder |
| 2008 | Termination of Narrowing in Left-Linear Constructor Systems. | Germn Vidal |
| 2008 | On-Demand Refinement of Dependent Types. | Hiroshi Unno, Naoki Kobayashi |
| 2008 | Types for Hereditary Head Normalizing Terms. | Makoto Tatsuta |
| 2008 | Model-Based Knowledge Representation and Reasoning Via Answer Set Programming. | Torsten Schaub |
| 2008 | Quantitative Logic Programming Revisited. | Mario Rodrguez-Artalejo, Carlos A. Romero-Daz |
| 2008 | Proving Properties about Lists Using Containers. | Rawle C. S. Prince, Neil Ghani, Conor McBride |
| 2008 | Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation. | Susana Nieva, Jaime Snchez-Hernndez, Fernando Senz-Prez |
| 2008 | Integrating Answer Set Reasoning with Constraint Solving Techniques. | Veena S. Mellarkod, Michael Gelfond |
| 2008 | Rewriting and Call-Time Choice: The HO Case. | Francisco Javier Lpez-Fraguas, Juan Rodrguez-Hortal, Jaime Snchez-Hernndez |
| 2008 | Optimizing Compilation of CHR with Rule Priorities. | Leslie De Koninck, Peter J. Stuckey, Gregory J. Duck |
| 2008 | A New Translation for Semi-classical Theories - Backtracking without CPS. | Satoshi Kobayashi |
| 2008 | Substructural Type Systems for Program Analysis. | Naoki Kobayashi |
| 2008 | Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl). | Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan |