1830 search results - page 29 / 366 » Functional Programs as Linked Data |
97
Voted
INFORMATICALT
2002
14 years 11 months ago
2002
This paper is concerned with design, implementation and verification of persistent purely functional data structures which are motivated by the representation of natural numbers us...
101
click to vote
GECCO
2008
Springer
15 years 25 days ago
2008
Springer
A new genetic algorithm to detect communities in social networks is presented. The algorithm uses a fitness function able to identify groups of nodes in the network having dense ...
PPDP
2010
Springer
14 years 10 months ago
2010
Springer
This paper connects the definitional interpreter for the λ-calculus extended with delimited continuation constructs, shift and reset, with a compiler and a low-level virtual mac...
EUROGP
1999
Springer
15 years 4 months ago
1999
Springer
In this paper we describe how the Stepwise Adaptation of Weights (saw) technique can be applied in genetic programming. The saw-ing mechanism has been originally developed for and ...
102
click to vote
ICFP
2005
ACM
15 years 11 months ago
2005
ACM
We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use of reference names as fun...