Data Types as Quotients of Polynomial Functors.

Jeremy Avigad Mario Carneiro Simon Hudon

Published in: ITP (2019)

Keyphrases

data types
data structure
data model
user defined
database management systems
database systems
back end
database server
abstract data types
data mining algorithms
database objects
data formats
data manipulation language
real world
business intelligence
data representation