Cost-Aware Type Theory.

Yue Niu Robert Harper

Published in: CoRR (2020)

Keyphrases

cost sensitive
theoretical framework
theoretical foundation
general theory
database systems
information theory
high cost
database
bayesian networks
special case
sensor networks
theoretical basis