8766 search results - page 761 / 1754 » Functional logic programming |
184
click to vote
ICCS
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. BSML is a library for parallel programming with the functional language Objective Caml. It is based on an extension of the λcalculus by parallel operations on a parallel...
223
click to vote
AC
2003
Springer
16 years 10 days ago
2003
Springer
Generic Haskell is an extension of Haskell that supports the construction of generic programs. These lecture notes discuss three advanced generic programming applications: generic ...
161
Voted
AMAST
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Accumulation techniques were invented to transform functional programs, which intensively use append functions (like inefficient list reversal), into more efficient progr...
285
click to vote
FPCA
1995
15 years 10 months ago
1995
Fold and unfold are general purpose functionals for processing and constructing lists. By using the categorical approach of modelling recursive datatypes as fixed points of funct...
183
click to vote
FUIN
2006
15 years 7 months ago
2006
Redundant call elimination has been an important program optimisation process as it can produce super-linear speedup in optimised programs. In this paper, we investigate use of the...