1368 search results - page 7 / 274 » Recursive modules for programming |
150
Voted
GPEM
2006
15 years 3 months ago
2006
Genetic programming (GP) extends traditional genetic algorithms to automatically induce computer programs. GP has been applied in a wide range of applications such as software ree...
130
Voted
POPL
1994
ACM
15 years 7 months ago
1994
ACM
This paper presents a variant of the SML module system roduces a strict distinction between abstract types and manifest types (types whose definitions are part of the module speci...
96
Voted
PLDI
2000
ACM
15 years 8 months ago
2000
ACM
130
Voted
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
Many algorithms on data structures such as terms (finitely branching trees) are naturally implemented by second-order recursion: A first-order procedure f passes itself as an arg...