| 1999 | A Calculus for Interaction Nets. Maribel Fernández, Ian Mackie |
| 1999 | A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs. Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 1999 | A Primitive Calculus for Module Systems. Davide Ancona, Elena Zucca |
| 1999 | A Semantic Account of Type-Directed Partial Evaluation. Andrzej Filinski |
| 1999 | A Simple and General Method for Integrating Abstract Interpretation in SICStus. Dante Baldan, Nicola Civran, Gilberto Filé, Francesco Pulvirenti |
| 1999 | A Virtual Machine for a Process Calculus. Luís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos |
| 1999 | An Operational Semantics of Starlog. Lunjin Lu, John G. Cleary |
| 1999 | Argument Filtering Transformation. Keiichirou Kusakari, Masaki Nakamura, Yoshihito Toyama |
| 1999 | C--: A Portable Assembly Language that Supports Garbage Collection. Simon L. Peyton Jones, Norman Ramsey, Fermin Reig |
| 1999 | Compiling Constraint Handling Rules into Prolog with Attributed Variables. Christian Holzbaur, Thom W. Frühwirth |
| 1999 | Constraint Programming in OPL. Pascal Van Hentenryck, Laurent Michel, Laurent Perron, Jean-Charles Régin |
| 1999 | Declarative Program Transformation: A Deforestation Case-Study. Loïc Correnson, Étienne Duris, Didier Parigot, Gilles Roussel |
| 1999 | Distributed Programming in a Multi-Paradigm Declarative Language. Michael Hanus |
| 1999 | Functional Plus Logic Programming with Built-In and Symbolic Constraints. Puri Arenas-Sánchez, Francisco Javier López-Fraguas, Mario Rodrúguez-Arteljo |
| 1999 | Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices. Ulrich Neumerkel, Frédéric Mesnard |
| 1999 | Logical and Meta-Logical Frameworks (Abstract). Frank Pfenning |
| 1999 | Modular Termination Proofs for Prolog with Tabling. Sofie Verbaeten, Konstantinos Sagonas, Danny De Schreye |
| 1999 | Non-dependent Types for Standard ML Modules. Claudio V. Russo |
| 1999 | OPENLOG: A Logic Programming Language Based on Abduction. Jacinto A. Dávila |
| 1999 | On Formalised Proofs of Termination of Recursive Functions. Fairouz Kamareddine, François Monin |
| 1999 | On the Verification of Finite Failure. Roberta Gori, Giorgio Levi |
| 1999 | Optimising Bytecode Emulation for Prolog. Vítor Santos Costa |
| 1999 | Parallel Execution Models for Constraint Programming over Finite Domains. Alvaro Ruiz-Andino, Lourdes Araujo, Fernando Sáenz-Pérez, José J. Ruz |
| 1999 | Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29 - October 1, 1999, Proceedings Gopalan Nadathur |
| 1999 | Run Time Type Information in Mercury. Tyson Dowd, Zoltan Somogyi, Fergus Henderson, Thomas C. Conway, David Jeffery |
| 1999 | Widening Sharing. Enea Zaffanella, Roberto Bagnara, Patricia M. Hill |