Manifest Contracts for Datatypes.

Taro Sekiyama Yuki Nishida Atsushi Igarashi

Published in: POPL (2015)

Keyphrases

data types
data structure
data model
user defined
database management systems
database systems
supply chain
database
information systems
adverse selection
databases
data mining algorithms
neural network
similarity measure
digital libraries