Composing and decomposing data types: a closed type families implementation of data types à la carte.

Published in: WGP@ICFP (2014)

Keyphrases

data types
type checking
data model
data structure
database management systems
database systems
user defined
back end
database server
storage structures
data mining algorithms
abstract data types
data manipulation language
data mining
data formats
spatial data types
database design
high dimensional
website