4959 search results - page 52 / 992 » Imperative Functional Programming |
147
Voted
LOGCOM
2011
14 years 5 months ago
2011
APLAS
2003
ACM
15 years 7 months ago
2003
ACM
We present a method for automatic program inversion in a first-order functional programming language. We formalize the transformation and illustrate it with several examples inclu...
127
click to vote
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
Type-directed programming is an important idiom for software design. In type-directed programming the behavior of programs is guided by the type structure of data. It makes it pos...
124
Voted
KES
2008
Springer
15 years 2 months ago
2008
Springer
Using a strongly typed functional programming language for genetic programming has many advantages, but evolving functional programs with variables requires complex genetic operat...