Jun 20, 2005 · We propose a formal framework for functional logic programming, supporting lazy functions, non-determinism and polymorphic datatypes whose ...

Abstract. We propose a formal framework for functional logic program- ming, supporting lazy functions, non-determinism and polymorphic data- types whose ...

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

In a recent work, we have proposed a semantic framework for lazy functional logic programming with algebraic polymorphic types, i.e., polymorphic types ...

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 ...

This paper presents a typed language with a precisely defined semantics that integrates functional and logic programming styles. To detect programming ...

A new notion of well-typed program is proposed that adds support for type-indexed functions, existential types, opaque higher-order patterns and generic ...

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

Jul 13, 2001 · Abstract. The rewriting logic CRWL has been proposed as a semantic frame- work for higher-order functional logic programming, ...