1368 search results - page 7 / 274 » Recursive modules for programming |
GPEM
2006
13 years 7 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...
ESOP
1998
Springer
13 years 12 months ago
1998
Springer
POPL
1994
ACM
13 years 11 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
14 years 3 days ago
2000
ACM
TACAS
2010
Springer
14 years 2 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...