4757 search results - page 255 / 952 » Monads for Functional Programming |
198
click to vote
AC
2003
Springer
15 years 11 months 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 ...
147
click to vote
AMAST
2006
Springer
15 years 10 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...
262
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...
166
click to vote
FUIN
2006
15 years 6 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...
163
click to vote
COCOA
2007
Springer
16 years 22 days ago
2007
Springer
We define a fundamental domain for a linear programming relaxation of a combinatorial integer program which is symmetric under a group action. We then describe a straightforward w...