Journal of Functional and Logic Programming, Volume 1999

Volume 1999, Number 1, 1999

Gopalan Nadathur: A Fine-Grained Notation for Lambda Terms and Its Use in Intensional Operations. BibTeX

John W. Lloyd: Programming in an Integrated Functional and Logic Language. BibTeX

Selected papers from the Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages

Frédéric Goualard, Frédéric Benhamou, Laurent Granvilliers: An Extension of the WAM for Hybrid Interval Solvers. BibTeX
Kish Shen, Vítor Santos Costa, Andy King: Distance: A New Metric for Controlling Granularity for Parallel Execution. BibTeX
Michael Hanus, Ramin Sadre: An Abstract Machine for Curry and Its Concurrent Implementation in Java. BibTeX
Enrico Pontelli, Gopal Gupta: Extended Dynamic Dependent And-Parallelism in ACE. BibTeX
Tobias Müller, Jörg Würtz: Embedding Propagators in a Concurrent Constraint Language. BibTeX
Gopalan Nadathur, Guanshan Tong: Realizing Modularity in lambdaProlog. BibTeX

Bernd Bütow, Robert Giegerich, Enno Ohlebusch, Stephan Thesing: Semantic Matching for Left-Linear Convergent Rewrite Systems. BibTeX

Selected papers from the Joint International Symposium PLILP/ALP'98

Catuscia Palamidessi: Editorial: Selected Papers from the Joint International Symposium PLILP/ALP'98. BibTeX
Maurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal, Marc Denecker: Detecting Unsolvable Queries for Definite Logic Programs. BibTeX
Delia Kesner, Pablo E. Martínez López: Explicit Substitutions for Objects and Functions. BibTeX
Enrico Pontelli, Desh Ranjan, Gopal Gupta: Complexity Analysis of Late Binding in Dynamic Object-Oriented Languages. BibTeX
Bart Demoen, Konstantinos F. Sagonas: CAT: The Copying Approach to Tabling. BibTeX
Wim Vanhoof, Danny De Schreye, Bern Martens: Bottom-up Partial Deduction of Logic Programs. BibTeX