283 search results - page 28 / 57 » Functional Pearls: Probabilistic functional programming in H... |
106
click to vote
ICFP
2003
ACM
16 years 1 months ago
2003
ACM
Lazy programs are beautiful, but they are slow because they build many thunks. Simple measurements show that most of these thunks are unnecessary: they are in fact always evaluate...
TBILLC
2005
Springer
15 years 7 months ago
2005
Springer
We implement the extension of the logical consequence relation to a partial order ≤ on arbitary types built from e (entities) and t (Booleans) that was given in [1], and the deï...
127
click to vote
TREC
2003
15 years 2 months ago
2003
Ranking functions are instrumental for the success of an information retrieval (search engine) system. However nearly all existing ranking functions are manually designed based on...
110
click to vote
AMAST
2006
Springer
15 years 5 months ago
2006
Springer
This article demonstrates how a powerful and expressive ion from concurrency theory--monads of resumptions--plays a dual r^ole as a programming tool for concurrent applications. Th...
144
click to vote
CORR
2012
Springer
13 years 9 months ago
2012
Springer
-generic programming increases program abstraction and reuse by making functions operate uniformly across different types. Many approaches to generic programming have been proposed...