Abstract: In a recent work, we have proposed a semantic framework for lazy functional logic programming with algebraic polymorphic types, i.e., polymorphic ...
A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types. By. P. Arenas-Sánchez. P. Arenas-Sánchez.
In a recent work, we have proposed a semantic framework for lazy functional logic programming with algebraic polymorphic types, i.e., polymorphic types ...
We propose a general framework for first-order functional logic programming, supporting lazy functions, non-determinism and polymorphic datatypes whose data ...
Apr 24, 2004 · We propose a general framework for first-order functional logic programming, supporting lazy functions, non-determinism and polymorphic datatypes.
Missing: Calculus | Show results with:Calculus
A general framework for lazy functional logic programming with algebraic polymorphic types. Theory and Practice of Logic Programming 1(2), pp. 185--245 ...
In this paper we present the semantics of a functional logic language with parametric and order-sorted polymorphism. Typed programs consist of a polymorphic ...
2001. TLDR. This paper proposes the integration of a lazy narrowing calculus for goal solving in the context of CRWL, a rewriting logic for functional logic ...
Puri Arenas-Sánchez, Mario Rodríguez-Artalejo: A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types. · Yan Zhang, Norman Y ...
We propose a general framework for first-order functional logic programming, supporting lazy functions, non-determinism and polymorphic datatypes whose data ...