745 search results - page 36 / 149 » The Functional Side of Logic Programming |
170
click to vote
MCMASTER
1993
15 years 8 months ago
1993
Abstract. This survey of the theory and applications of rewriting with equations discusses the existence and uniqueness of normal forms, the Knuth-Bendix completion procedure and i...
138
click to vote
PPDP
2004
Springer
15 years 9 months ago
2004
Springer
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...
151
click to vote
LOPSTR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. It has often been observed that a point-free style of programvides a more abstract view on programs. We aim to use the gain in abstraction to obtain a denotational semant...
143
click to vote
ENTCS
2002
15 years 3 months ago
2002
Non-deterministic computations greatly enhance the expressive power of functional logic programs, but are often computationally expensive. We analyze a programming technique that ...
140
click to vote
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
We report on an extension of Haskell with open type-level functions and equality constraints that unifies earlier work on GADTs, functional dependencies, and associated types. The...