| 2001 | A Framework for Analysis of Typed Logic Programs. | Vitaly Lagoon, Peter J. Stuckey |
| 2001 | Refining the Barendregt Cube Using Parameters. | Fairouz Kamareddine, Twan Laan, Rob Nederpelt |
| 2001 | Monadic Encapsulation with Stack of Regions. | Koji Kagawa |
| 2001 | An Abstract Machine Based System for a Lazy Narrowing Calculus. | Maria Teresa Hortal-Gonzlez, Eva Ulln |
| 2001 | Incremental Learning of Functional Logic Programs. | Csar Ferri, Jos Hernndez-Orallo, M. Jos Ramrez-Quintana |
| 2001 | Well-Typed Logic Programs Are not Wrong. | Pierre Deransart, Jan-Georg Smaus |
| 2001 | Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and \lambda Prolog - A Case-study. | Giorgio Delzanno |
| 2001 | A Simple Take on Typed Abstract Syntax in Haskell-like Languages. | Olivier Danvy, Morten Rhiger |
| 2001 | A Higher-Order Colon Translation. | Olivier Danvy, Lasse R. Nielsen |
| 2001 | Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine. | Kwanghoon Choi, Hyun-il Lim, Taisook Han |
| 2001 | Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs. | Rafael Caballero, Francisco Javier Lpez-Fraguas, Mario Rodrguez-Artalejo |
| 2001 | An Effective Bottom-Up Semantics for First-Order Linear Logic Programs. | Marco Bozzano, Giorgio Delzanno, Maurizio Martelli |
| 2001 | Abstract Compilation for Sharing Analysis. | Gianluca Amato, Fausto Spoto |
| 2001 | A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs. | Jess Manuel Almendros-Jimnez, Antonio Becerra-Tern |
| 2001 | A Practical Partial Evaluator for a Multi-Paradigm Declarative Language. | Elvira Albert, Michael Hanus, Germn Vidal |
| 1999 | Termination Analysis of Tabled Logic Programs Using Mode and Type Information. | Sofie Verbaeten, Danny De Schreye |
| 1999 | Typed Static Analysis: Application to Groundness Analysis of PROLOG and lambda-PROLOG. | Olivier Ridoux, Patrice Boizumault, Frdric Malsieux |
| 1999 | The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code. | Atsushi Ohori |
| 1999 | On Quasi-Reductive and Quasi-Simplifying Deterministic Conditional Rewrite Systems. | Enno Ohlebusch |
| 1999 | Automatic Verification Based on Abstract Interpretation. | Mizuhito Ogawa |
| 1999 | Higher Order Matching for Program Transformation. | Oege de Moor, Ganesh Sittampalam |
| 1999 | On Reducing the Search Space of Higher-Order Lazy Narrowing. | Mircea Marin, Tetsuo Ida, Taro Suzuki |
| 1999 | Implementing Encapsulated Search for a Lazy Functional Logic Language. | Wolfgang Lux |
| 1999 | Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers. | Armin Khnemann |
| 1999 | A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs. | Ernie Johnson, C. R. Ramakrishnan, I. V. Ramakrishnan, Prasad Rao |