Journal of Functional and Logic Programming, Volume 2001

Volume 2001, Number 1-4, 2001

• Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo: Polymorphic Types in Functional Logic Programming. BibTeX
• Michael Hanus, Salvador Lucas: An Evaluation Semantics for Narrowing-Based Functional Logic Languages. BibTeX
• Ralf Hinze: Polytypic Programming With Ease. BibTeX
• Olivier Ridoux, Patrice Boizumault: Typed Static Analysis: Application to the Groundness Analysis of Typed Prolog. BibTeX

Volume 2001, Number 5, 2001

• Guanshan Tong, Michael J. O'Donnell: Leveled Garbage Collection. BibTeX

Volume 2001, Number 6-10, 2001

• Daniel Diaz, Philippe Codognet: Design and Implementation of the GNU Prolog System. BibTeX
• Timothy J. Hickey: Metalevel Interval Arithmetic and Verifiable Constraint Solving. BibTeX
• Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi: Calculating a New Data Mining Algorithm for Market Basket Analysis. BibTeX
• Bart Demoen, Konstantinos F. Sagonas: Heap Memory Management in Prolog with Tabling: Principles and Practice. BibTeX
• Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You: Implementation of a Linear Tabling Mechanism. BibTeX

Volume 2001, Number 11, 2001

• Takahito Aoto: Solution to the Problem of Zantema on a Persistent Property of Term Rewriting Systems. BibTeX