4959 search results - page 75 / 992 » Imperative Functional Programming |
108
Voted
ICALP
2007
Springer
15 years 10 months ago
2007
Springer
CP
2005
Springer
15 years 9 months ago
2005
Springer
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
136
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we examine how the choice of functions in a genetic program (GP) affects the rate of code growth and the development of resilient individuals. We find that functio...
125
click to vote
PPDP
2009
Springer
15 years 10 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...