909 search results - page 86 / 182 » Generic Programming: An Introduction |
143
click to vote
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
This article introduces our new approach to program representation for genetic programming (GP). We replace the usual s-expression representation scheme by a strongly-typed ion-ba...
259
click to vote
Book
"Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type...
120
click to vote
ACSC
2006
IEEE
15 years 9 months ago
2006
IEEE
Manipulating semistructured data, such as XML, does not t well within conventional programming languages. A typical manipulation requires nding all occurrences of a structure matc...
113
click to vote
CISIS
2010
IEEE
15 years 8 months ago
2010
IEEE
- The shared data programming model is an attractive grid programming alternative to message passing solutions. This paper addresses type related improvements to a shared data grid...
134
click to vote
FUIN
2010
15 years 10 days ago
2010
Abstract. Writing dependently typed functional programs that capture non-trivial program properties, such as those involving membership, ordering and non-linear arithmetic, is diff...