Apr 24, 2004 · We propose a general framework for first-order functional logic programming, supporting lazy functions, non-determinism and polymorphic datatypes.
We propose a general framework for first-order functional logic programming, supporting lazy functions, non-determinism and polymorphic datatypes whose data ...
We propose a general framework for first-order functional logic programming, supporting lazy functions, non-determinism and polymorphic datatypes whose data ...
Bibliographic details on A General Framework for Lazy Functional Logic, Programming with Algebraic Polymorphic Types.
A formal framework for functional logic programming, supporting lazy functions, non-determinism and polymorphic datatypes whose data constructors obey a ...
A general framework for lazy functional logic programming with algebraic polymorphic types. Authors. Puri ARENAS-SÁNCHEZ · Mario RODRÍGUEZ-ARTALEJO. Source ...
A general framework for lazy functional logic programming with algebraic polymorphic types ... functional logic programming, supporting lazy functions, non ...
Mario Rodríguez-Artalejo: A General Framework for Lazy Functional Logic, Programming with Algebraic Polymorphic Types. 185-245 BibTeX. Volume 1, Number 3 ...
In this paper we propose a new generic scheme C F L P ( D ) , intended as a logical and semantic framework for lazy Constraint Functional Logic Programming ...
Feb 24, 2007 · In this paper we propose a new generic scheme CFLP풟, intended as a logical and semantic framework for lazy Constraint Functional Logic ...