4757 search results - page 153 / 952 » Monads for Functional Programming |
159
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
For logic programs with arithmetic predicates, showing termination is not easy, since the usual order for the integers is not well-founded. A new method, easily incorporated in th...
178
click to vote
KDD
2006
ACM
16 years 6 months ago
2006
ACM
Calculation of object similarity, for example through a distance function, is a common part of data mining and machine learning algorithms. This calculation is crucial for efficie...
162
click to vote
INFORMATICALT
2000
15 years 6 months ago
2000
The paper presents a simple programming language and rewriting system called GENS. It is based on an extension of the -calculus called E-calculus. GENS is a multiparadigm language:...
182
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
A new model of Genetic Programming with variable size population is presented in this paper and applied to the reconstruction of target functions in dynamic environments (i.e. pro...
173
click to vote
APLAS
2010
ACM
15 years 6 months ago
2010
ACM
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...