Login / Signup
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