| 2001 | Polymorphic Directional Types for Logic Programming. | Pawel Rychlikowski, Tomasz Truderung |
| 2001 | Parallel Functional Programming at Two Levels of Abstraction. | Ricardo Pena, Fernando Rubio |
| 2001 | Ideal Models for Pointwise Relational and State-Free Imperative Programming. | David A. Naumann |
| 2001 | Instruction Merging and Specialization in the SICStus Prolog Virtual Machine. | Henrik Nssn, Mats Carlsson, Konstantinos Sagonas |
| 2001 | Termination of On-Demand Rewriting and Termination of OBJ Programs. | Salvador Lucas |
| 2001 | De Bruijn's Syntax and Reductional Equivalence of Lambda-Terms. | Fairouz Kamareddine, Roel Bloo, Rob Nederpelt |
| 2001 | Development Reuse and the Logic Program Derivation of Two String-Matching Algorithms. | Manuel Hernndez, David A. Rosenblueth |
| 2001 | Trust in the Pi-Calculus. | Mark Hepburn, David Wright |
| 2001 | A Direct Approach to Control-Flow Sensitive Region-Based Memory Management. | Fritz Henglein, Henning Makholm, Henning Niss |
| 2001 | Types for Cyphers: Thwarting Mischief and Malice with Type Theory. | Andrew D. Gordon |
| 2001 | Declarative Definition of Group Indexed Data Structures and Approximation of Their Domains. | Jean-Louis Giavitto, Olivier Michel |
| 2001 | Model Checking (with) Declarative Programs. | Javier Esparza |
| 2001 | Defunctionalization at Work. | Olivier Danvy, Lasse R. Nielsen |
| 2001 | Granularity of Constraint-Based Analysis for Java. | Byeong-Mo Chang, Jang-Wu Jo |
| 2001 | Termination of Well-Typed Logic Programs. | Annalisa Bossi, Nicoletta Cocco, Sabina Rossi |
| 2001 | A Denotational Semantics for Timed Linda. | Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo |
| 2001 | An Implementation of Narrowing Strategies. | Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner |
| 2001 | Constructor-Based Conditional Narrowing. | Sergio Antoy |
| 2001 | Using Confluence to Generate Rule-Based Constraint Solvers. | Slim Abdennadher, Christophe Rigotti |
| 2000 | Continuations for parallel logic programming. | Eneia Todoran, Nikolaos Papaspyrou |
| 2000 | Justifying proofs using memo tables. | Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 2000 | Operational semantics and extensionality. | Simona Ronchi Della Rocca |
| 2000 | Logical relations, data abstraction, and structured fibrations. | John Power, Edmund Robinson |
| 2000 | Linear logic programming with an ordered context. | Jeff Polakow |
| 2000 | Concurrent constraint programming: towards probabilistic abstract interpretation. | Alessandra Di Pierro, Herbert Wiklicky |