| 1999 | A Flexible Framework for Dynamic and Static Slicing of Logic Programs. Wamberto Weber Vasconcelos |
| 1999 | A Return to Elegance: The Reapplication of Declarative Notation to Software Design. David A. Schmidt |
| 1999 | An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented Language. Babu Siddabathuni, Suzanne W. Dietrich, Susan Darling Urban |
| 1999 | An Application of Action Theory to the Space Shuttle. Richard Watson |
| 1999 | Applying Logic Programming to Derive Novel Functional Information of Genomes. Arvind K. Bansal, Peer Bork |
| 1999 | Automated Benchmarking of Functional Data Structures. Graeme E. Moss, Colin Runciman |
| 1999 | Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators. Wolfram Kahl |
| 1999 | CHAT: The Copy-Hybrid Approach to Tabling. Bart Demoen, Konstantinos Sagonas |
| 1999 | Client-Side Web Scripting with HaskellScript. Erik Meijer, Daan Leijen, James Hook |
| 1999 | Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing. Mats Carlsson, Per Kreuger, Emil Åström |
| 1999 | Dead Code Elimination through Dependent Types. Hongwei Xi |
| 1999 | Developing a Declarative Rule Language for Applications in Product Configuration. Timo Soininen, Ilkka Niemelä |
| 1999 | ECLiPSe: Declarative Specification and Scaleable Implementation. Mark Wallace, Joachim Schimpf |
| 1999 | From Functional Animation to Sprite-Based Display. Conal Elliott |
| 1999 | Implementing a Declarative String Query Language with String Restructuring. Raul Hakli, Matti Nykänen, Hellis Tamm, Esko Ukkonen |
| 1999 | Lambda in Motion: Controlling Robots with Haskell. John Peterson, Paul Hudak, Conal Elliott |
| 1999 | MCORBA: A CORBA Binding for Mercury. David Jeffery, Tyson Dowd, Zoltan Somogyi |
| 1999 | Mnesia - A Distributed Robust DBMS for Telecommunications Applications. Håkan Mattsson, Hans Nilsson, Claes Wikström |
| 1999 | Multi-agent Systems Development as a Software Engineering Enterprise. Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini |
| 1999 | Multiple Specialization of WAM Code. Michel Ferreira, Luís Damas |
| 1999 | NP-SPEC: An Executable Specification Language for Solving All Problems in NP. Marco Cadoli, Luigi Palopoli, Andrea Schaerf, Domenico Vasile |
| 1999 | Or-Parallelism within Tabling. Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa |
| 1999 | Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program. Patricio Letelier, Pedro Sánchez, Isidro Ramos |
| 1999 | The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems. Marcio G. Silva, Inês de Castro Dutra, Ricardo Bianchini, Vítor Santos Costa |
| 1999 | University Timetabling Using Constraint Logic Programming. Hans-Joachim Goltz, Dirk Matzke |
| 1999 | Using Constraints in Local Proofs for CLP Debugging. Claude Laï |
| 1998 | Practical Aspects of Declarative Languages, First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings Gopal Gupta |