Gradual type theory.

Max S. New Daniel R. Licata Amal Ahmed

Published in: J. Funct. Program. (2021)

Keyphrases

general theory
metadata
databases
neural network
decision making
probability distribution
theoretical framework
database
data mining
computer vision
multiscale
objective function
preprocessing
expert systems
theoretical basis