Gradual Type Theory (Extended Version).

Max S. New Daniel R. Licata Amal Ahmed

Published in: CoRR (2018)

Keyphrases

image processing
theoretical framework
theoretical basis
data mining
machine learning
cooperative
computational model
general theory
learning algorithm
decision trees
image segmentation
high level
face recognition
expert systems
information theory