Apr 24, 2004 · Abstract: We propose a general framework for first-order functional logic programming, supporting lazy functions, non-determinism and ...

May 16, 2001 · We propose a general framework for first-order functional logic programming, supporting lazy functions, non-determinism and polymorphic ...

We propose a general framework for first-order functional logic programming, supporting lazy functions, non-determinism and polymorphic datatypes whose data ...

Abstract. We propose a general framework for first-order functional logic programming, supporting lazy functions, non-determinism and polymorphic datatypes ...

Jan 10, 2020 · Bibliographic details on A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types.

This paper proposes a framework for logic programming with type systems that combines parametric polymorphism with order-sorted typing and permits ...

A general framework for lazy functional logic programming with algebraic polymorphic types ; ISSN · 1471-0684 ; Year of publication · 2001 ; Volume · 1 ; Issue · 2.

Jun 2, 2006 · In recent works, we have proposed a general framework for lazy functional logic programming with algebraic polymorphic types, i.e., ...

A General Framework for Lazy Functional Logic Programs with Algebraic Polymorphic Types. Theroy and Practice of Logic Programming, 1(2): 185-245, 2001.

In recent works, we have proposed a general framework for lazy functional logic programming with algebraic polymorphic types, i.e., parametric datatypes whose ...