- Juliana Küster Filipe:
Fundamentals of Module Logic for Distributed Object Systems. J. Funct. Log. Program. 2000(3) (2000) - Frédéric Lang, Pierre Lescanne:
On Strong Normalization of Explicit Substitution Calculi (Short Note). J. Funct. Log. Program. 2000(7) (2000) - Lee Naish, Leon Sterling:
Stepwise Enhancement and Higher-Order Programming in Prolog. J. Funct. Log. Program. 2000(4) (2000) - Kostas Stathis:
A Game-based Architecture for Developing Interactive Components in Computational Logic. J. Funct. Log. Program. 2000(5) (2000) - Sofie Verbaeten, Annalisa Bossi:
Composing Complete and Partial Knowledge. J. Funct. Log. Program. 2000(6) (2000) - 1999
- Davide Aliffi, Agostino Dovier, Gianfranco Rossi:
From Set to Hyperset Unification. J. Funct. Log. Program. 1999(10) (1999) - Maurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal, Marc Denecker:
Detecting Unsolvable Queries for Definite Logic Programs. J. Funct. Log. Program. 1999(Special Issue 2) (1999) - Bernd Bütow, Robert Giegerich, Enno Ohlebusch, Stephan Thesing:
Semantic Matching for Left-Linear Convergent Rewrite Systems. J. Funct. Log. Program. 1999(11) (1999) - Bart Demoen, Konstantinos Sagonas:
CAT: The Copying Approach to Tabling. J. Funct. Log. Program. 1999(Special Issue 2) (1999) - Frédéric Goualard, Frédéric Benhamou, Laurent Granvilliers:
An Extension of the WAM for Hybrid Interval Solvers. J. Funct. Log. Program. 1999(Special Issue 1) (1999) - Michael Hanus, Ramin Sadre:
An Abstract Machine for Curry and Its Concurrent Implementation in Java. J. Funct. Log. Program. 1999(Special Issue 1) (1999) - Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries:
Meaningless Terms in Rewriting. J. Funct. Log. Program. 1999(1) (1999) - Delia Kesner, Pablo E. Martínez López:
Explicit Substitutions for Objects and Functions. J. Funct. Log. Program. 1999(Special Issue 2) (1999) - John W. Lloyd:
Programming in an Integrated Functional and Logic Language. J. Funct. Log. Program. 1999(3) (1999) - Tobias Müller, Jörg Würtz:
Embedding Propagators in a Concurrent Constraint Language. J. Funct. Log. Program. 1999(Special Issue 1) (1999) - Gopalan Nadathur:
A Fine-Grained Notation for Lambda Terms and Its Use in Intensional Operations. J. Funct. Log. Program. 1999(2) (1999) - Gopalan Nadathur, Guanshan Tong:
Realizing Modularity in lambdaProlog. J. Funct. Log. Program. 1999(Special Issue 1) (1999) - Catuscia Palamidessi:
Editorial: Selected Papers from the Joint International Symposium PLILP/ALP'98. J. Funct. Log. Program. 1999(Special Issue 2) (1999) - Enrico Pontelli, Gopal Gupta:
Extended Dynamic Dependent And-Parallelism in ACE. J. Funct. Log. Program. 1999(Special Issue 1) (1999) - Enrico Pontelli, Desh Ranjan, Gopal Gupta:
Complexity Analysis of Late Binding in Dynamic Object-Oriented Languages. J. Funct. Log. Program. 1999(Special Issue 2) (1999) - Kish Shen, Vítor Santos Costa, Andy King:
Distance: A New Metric for Controlling Granularity for Parallel Execution. J. Funct. Log. Program. 1999(Special Issue 1) (1999) - Wim Vanhoof, Danny De Schreye, Bern Martens:
Bottom-up Partial Deduction of Logic Programs. J. Funct. Log. Program. 1999(Special Issue 2) (1999) - 1998
- Heinz Faßbender, Sebastian Maneth:
A Strict Border for the Decidability of E-Unification for Recursive Functions. J. Funct. Log. Program. 1998(4) (1998) - Juliana Freire, Terrance Swift, David Scott Warren:
Beyond Depth-First Strategies: Improving Tabled Logic Programs through Alternative Scheduling. J. Funct. Log. Program. 1998(3) (1998) - Fairouz Kamareddine, Alejandro Ríos, J. B. Wells:
Calculi of Generalized beta-Reduction and Explicit Substitutions: The Type-Free and Simply Typed Versions. J. Funct. Log. Program. 1998(5) (1998) - Salvador Lucas:
Context-sensitive Computations in Functional and Functional Logic Programs. J. Funct. Log. Program. 1998(1) (1998) - Manoranjan Satpathy, Amitabha Sanyal, G. Venkatesh:
Improved Register Usage for Functional Programs through Multiple Function Versions. J. Funct. Log. Program. 1998(7) (1998) - Peter J. Stuckey, Vincent W. L. Tam:
Semantics for using Stochastic Constraint Solvers in Constraint Logic Programming. J. Funct. Log. Program. 1998(2) (1998) - Cesare Tinelli, Mehdi T. Harandi:
Constraint Logic Programming over Unions of Constraint Theories. J. Funct. Log. Program. 1998(6) (1998) - 1997
- Puri Arenas-Sánchez, Agostino Dovier:
A Minimality Study for Set Unification. J. Funct. Log. Program. 1997(7) (1997)