257 search results - page 4 / 52 » Programming with narrowing: A tutorial |
ICCS
2005
Springer
15 years 5 months ago
2005
Springer
The cross fertilization of methods and techniques between different subject areas in the undergraduate curriculum is a challenge, especially at the more advanced levels. This paper...
PPDP
2004
Springer
15 years 5 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 ...
114
Voted
PLILP
1995
Springer
15 years 3 months ago
1995
Springer
Abstract. Using higher-order functions is standard practice in functional programming, but most functional logic programming languages that have been described in the literature la...
PPDP
2004
Springer
15 years 5 months ago
2004
Springer
PEPM
2012
ACM
13 years 7 months ago
2012
ACM