1368 search results - page 7 / 274 » Recursive modules for programming |
107
click to vote
GPEM
2006
14 years 11 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...
POPL
1994
ACM
15 years 3 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...
PLDI
2000
ACM
15 years 4 months ago
2000
ACM
TACAS
2010
Springer
15 years 6 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...