| 1999 | Non-dependent Types for Standard ML Modules. | Claudio V. Russo |
| 1999 | Parallel Execution Models for Constraint Programming over Finite Domains. | Alvaro Ruiz-Andino, Lourdes Araujo, Fernando Senz-Prez, Jos J. Ruz |
| 1999 | A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs. | Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 1999 | Logical and Meta-Logical Frameworks (Abstract). | Frank Pfenning |
| 1999 | Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices. | Ulrich Neumerkel, Frdric Mesnard |
| 1999 | An Operational Semantics of Starlog. | Lunjin Lu, John G. Cleary |
| 1999 | A Virtual Machine for a Process Calculus. | Lus M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos |
| 1999 | Argument Filtering Transformation. | Keiichirou Kusakari, Masaki Nakamura, Yoshihito Toyama |
| 1999 | On Formalised Proofs of Termination of Recursive Functions. | Fairouz Kamareddine, Franois Monin |
| 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. Frhwirth |
| 1999 | Constraint Programming in OPL. | Pascal Van Hentenryck, Laurent Michel, Laurent Perron, Jean-Charles Rgin |
| 1999 | Distributed Programming in a Multi-Paradigm Declarative Language. | Michael Hanus |
| 1999 | On the Verification of Finite Failure. | Roberta Gori, Giorgio Levi |
| 1999 | A Semantic Account of Type-Directed Partial Evaluation. | Andrzej Filinski |
| 1999 | A Calculus for Interaction Nets. | Maribel Fernndez, Ian Mackie |
| 1999 | Run Time Type Information in Mercury. | Tyson Dowd, Zoltan Somogyi, Fergus Henderson, Thomas C. Conway, David Jeffery |
| 1999 | OPENLOG: A Logic Programming Language Based on Abduction. | Jacinto A. Dvila |
| 1999 | Optimising Bytecode Emulation for Prolog. | Vtor Santos Costa |
| 1999 | Declarative Program Transformation: A Deforestation Case-Study. | Loc Correnson, tienne Duris, Didier Parigot, Gilles Roussel |
| 1999 | A Simple and General Method for Integrating Abstract Interpretation in SICStus. | Dante Baldan, Nicola Civran, Gilberto Fil, Francesco Pulvirenti |
| 1999 | Functional Plus Logic Programming with Built-In and Symbolic Constraints. | Puri Arenas-Snchez, Francisco Javier Lpez-Fraguas, Mario Rodrguez-Arteljo |
| 1999 | A Primitive Calculus for Module Systems. | Davide Ancona, Elena Zucca |