1989 search results - page 219 / 398 » Set functions for functional logic programming |
127
Voted
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
This work shows asymptotic convergence to global optima for a family of dynamically scaled genetic programming systems where the underlying population consists of a fixed number o...
132
Voted
PPDP
2009
Springer
15 years 10 months ago
2009
Springer
This paper describes the design goals and current status of tidier, a software tool that tidies Erlang source code, making it cleaner, simpler, and often also more efficient. In ...
156
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: There have been many algorithms and software programs implemented for the inference of multiple sequence alignments of protein and DNA sequences. The "true" ...
231
Voted
POPL
2006
ACM
16 years 3 months ago
2006
ACM
We propose a type system based on regular tree grammars, where algebraic datatypes are interpreted in a structural way. Thus, the same constructors can be reused for different typ...
143
Voted
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
MLF is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type ...