1989 search results - page 247 / 398 » Set functions for functional logic programming |
137
click to vote
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. During the last two decades, monads have become an indispensable tool for structuring functional programs with computational effects. In this setting, the mathematical n...
101
Voted
ESOP
2004
Springer
15 years 8 months ago
2004
Springer
Pattern matching is an important operation in functional programs. So far, pattern matching has been investigated in the context of structured terms. This paper presents an approac...
139
click to vote
IFL
2001
Springer
15 years 7 months ago
2001
Springer
Map- and fold-like skeletons are a suitable abstractions to guide parallel program execution in functional array processing. However, when it comes to achieving high performance, i...
109
click to vote
OL
2010
15 years 1 months ago
2010
In an important paper, Burer [2] recently showed how to reformulate general mixed-binary quadratic optimization problems (QPs) into copositive programs where a linear functional i...
102
click to vote
LICS
2007
IEEE
15 years 9 months ago
2007
IEEE
According to Strachey, a polymorphic program is parametric if it applies a uniform algorithm independently of the type instantiations at which it is applied. The notion of relatio...