2477 search results - page 30 / 496 » Parallelizing Functional Programs by Generalization |
OOPSLA
2005
Springer
15 years 3 months ago
2005
Springer
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatype...
91
Voted
LICS
2005
IEEE
15 years 3 months ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
SAC
2010
ACM
15 years 4 months ago
2010
ACM
Most mainstream system programming languages provide support for builtin types, and extension mechanisms through userdefined types. They also come with a notion of constant expre...
163
click to vote
GIS
2006
ACM
15 years 10 months ago
2006
ACM
We present a novel method for the automatic generalization of land cover maps. A land cover map is composed of areas that collectively form a tessellation of the plane and each ar...
PRICAI
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. A successful case of applying brute-force search to functional programming automation is presented and compared with a conventional genetic programming method. From the i...