| 2001 | A Denotational Semantics for Timed Linda. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo |
| 2001 | A Direct Approach to Control-Flow Sensitive Region-Based Memory Management. Fritz Henglein, Henning Makholm, Henning Niss |
| 2001 | An Implementation of Narrowing Strategies. Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner |
| 2001 | Constructor-Based Conditional Narrowing. Sergio Antoy |
| 2001 | Cycle Therapy: A Prescription for Fold and Unfold on Regular Trees. Franklyn A. Turbak, J. B. Wells |
| 2001 | De Bruijn's Syntax and Reductional Equivalence of Lambda-Terms. Fairouz Kamareddine, Roel Bloo, Rob Nederpelt |
| 2001 | Declarative Definition of Group Indexed Data Structures and Approximation of Their Domains. Jean-Louis Giavitto, Olivier Michel |
| 2001 | Defunctionalization at Work. Olivier Danvy, Lasse R. Nielsen |
| 2001 | Development Reuse and the Logic Program Derivation of Two String-Matching Algorithms. Manuel Hernández, David A. Rosenblueth |
| 2001 | Granularity of Constraint-Based Analysis for Java. Byeong-Mo Chang, Jang-Wu Jo |
| 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 Nässén, Mats Carlsson, Konstantinos Sagonas |
| 2001 | Model Checking (with) Declarative Programs. Javier Esparza |
| 2001 | Parallel Functional Programming at Two Levels of Abstraction. Ricardo Pena, Fernando Rubio |
| 2001 | Polymorphic Directional Types for Logic Programming. Pawel Rychlikowski, Tomasz Truderung |
| 2001 | Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, September 5-7, 2001, Florence, Italy |
| 2001 | Should UML Be Used for Declarative Programming? David A. Schmidt |
| 2001 | Termination of On-Demand Rewriting and Termination of OBJ Programs. Salvador Lucas |
| 2001 | Termination of Well-Typed Logic Programs. Annalisa Bossi, Nicoletta Cocco, Sabina Rossi |
| 2001 | Trust in the Pi-Calculus. Mark Hepburn, David Wright |
| 2001 | Types for Cyphers: Thwarting Mischief and Malice with Type Theory. Andrew D. Gordon |
| 2001 | Using Confluence to Generate Rule-Based Constraint Solvers. Slim Abdennadher, Christophe Rigotti |
| 2001 | When Do Bounds and Domain Propagation Lead to the Same Search Space? Christian Schulte, Peter J. Stuckey |