Dependently Typed Folds for Nested Data Types.

Peng Fu Peter Selinger

Published in: CoRR (2018)

Keyphrases

data types
data structure
data model
database systems
user defined
database management systems
data manipulation language
back end
data mining algorithms
database server
microsoft sql server
feature selection
data sets
abstract data types
storage structures
multi dimensional
database objects
database