default search action
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. J. Funct. Log. Program. 2001(1) (2001) - Michael Hanus, Salvador Lucas:
An Evaluation Semantics for Narrowing-Based Functional Logic Languages. J. Funct. Log. Program. 2001(2) (2001) - Ralf Hinze:
Polytypic Programming With Ease. J. Funct. Log. Program. 2001(3) (2001) - Olivier Ridoux, Patrice Boizumault:
Typed Static Analysis: Application to the Groundness Analysis of Typed Prolog. J. Funct. Log. Program. 2001(4) (2001)
Volume 2001, Number 5, 2001
- Guanshan Tong, Michael J. O'Donnell:
Leveled Garbage Collection.
Volume 2001, Number 6-10, 2001
- Daniel Diaz, Philippe Codognet:
Design and Implementation of the GNU Prolog System. J. Funct. Log. Program. 2001(6) (2001) - Timothy J. Hickey:
Metalevel Interval Arithmetic and Verifiable Constraint Solving. J. Funct. Log. Program. 2001(7) (2001) - Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi:
Calculating a New Data Mining Algorithm for Market Basket Analysis. J. Funct. Log. Program. 2001(8) (2001) - Bart Demoen, Konstantinos Sagonas:
Heap Memory Management in Prolog with Tabling: Principles and Practice. J. Funct. Log. Program. 2001(9) (2001) - Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
Implementation of a Linear Tabling Mechanism. J. Funct. Log. Program. 2001(10) (2001)
Volume 2001, Number 11, 2001
- Takahito Aoto:
Solution to the Problem of Zantema on a Persistent Property of Term Rewriting Systems.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.