Kind inference for datatypes.

Ningning Xie Richard A. Eisenberg Bruno C. d. S. Oliveira

Published in: Proc. ACM Program. Lang. (2020)

Keyphrases

data types
bayesian inference
data structure
data model
user defined
database management systems
inference process
database systems
databases
probabilistic inference
real time
bayesian networks
database
image sequences
data management
social networks
artificial intelligence
message passing
dynamic bayesian networks