8766 search results - page 7 / 1754 » Functional logic programming |
128
click to vote
CORR
2004
Springer
14 years 11 months ago
2004
Springer
Many functional logic languages are based on narrowing, a unification-based goal-solving mechanism which subsumes the reduction mechanism of functional languages and the resolutio...
110
click to vote
ACL2
2006
ACM
15 years 2 months ago
2006
ACM
We investigate the logical issues behind axiomatizing equations that contain both recursive calls and quantifiers in ACL2. We identify a class of such equations, named extended ta...
104
click to vote
FLOPS
2008
Springer
15 years 18 days ago
2008
Springer
Abstract. We present a declarative method for diagnosing missing computed answers in CFLP(D), a generic scheme for lazy Constraint Functional-Logic Programming which can be instant...
195
click to vote
ICFP
2009
ACM
15 years 11 months ago
2009
ACM
Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-...
85
Voted
PLPV
2010
ACM
15 years 8 months ago
2010
ACM
Type-based reasoning is popular in functional programming. In particular, parametric polymorphism constrains functions in such a way that statements about their behavior can be de...