Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A General Framework For Lazy Functional Logic Programming With Algebraic
  Polymorphic Types   We propose a general framework for first-order functional logic programming,
supporting lazy functions, non-determinism and polymorphic datatypes whose data
constructors obey a set C of equational axioms. On top of a given C, we specify
a program as a set R of C-based conditional rewriting rules for defined
functions. We argue that equational logic does not supply the proper semantics
for such programs. Therefore, we present an alternative logic which includes
C-based rewriting calculi and a notion of model. We get soundness and
completeness for C-based rewriting w.r.t. models, existence of free models for
all programs, and type preservation results. As operational semantics, we
develop a sound and complete procedure for goal solving, which is based on the
combination of lazy narrowing with unification modulo C. Our framework is quite
expressive for many purposes, such as solving action and change problems, or
realizing the GAMMA computation model.

18
The categories of this paper are: econ
5
The categories of this paper are: gr-qc
28
The categories of this paper are: alg-geom
20
The categories of this paper are: acc-phys
11
The categories of this paper are: hep-lat
7
The categories of this paper are: hep-th
4
The categories of this paper are: cond-mat
23
The categories of this paper are: solv-int
27
The categories of this paper are: comp-gas
12
The categories of this paper are: nucl-th
35
The categories of this paper are: mtrl-th
14
The categories of this paper are: math-ph
8
The categories of this paper are: hep-ex
32
The categories of this paper are: atom-ph
10
The categories of this paper are: q-bio
34
The categories of this paper are: chem-ph