13734 search results - page 44 / 2747 » Abstractions of data types |
SEDE
2010
13 years 6 months ago
2010
New emerging scientific applications in geosciences, sensor and spatio-temporal domains require adaptive analysis frameworks that can handle large datasets with multiple dimension...
GIS
2009
ACM
14 years 1 months ago
2009
ACM
Apart from visualization tasks, three-dimensional (3D) data management features are not or only hardly available in current spatial database systems and Geographic Information Sys...
ICAART
2009
INSTICC
13 years 6 months ago
2009
INSTICC
MPC
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Generic functions are defined by induction on the structural representation of types. As a consequence, by defining just a single generic operation, one acquires this o...
FLOPS
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. Subtyping tends to undermine the effects of parametric polymorphism as far as the static detection of type errors is concerned. Starting with this observation we present...