Witnessing (Co)datatypes.

Jasmin Christian Blanchette Andrei Popescu Dmitriy Traytel

Published in: ESOP (2015)

Keyphrases

data types
data structure
database management systems
user defined
data model
database systems
back end
database server
microsoft sql server
abstract data types
data manipulation language
data mining algorithms
data formats
spatio temporal databases
type checking