Gradual type theory.

Max S. New Daniel R. Licata Amal Ahmed

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

Keyphrases

data sets
artificial intelligence
computational model
neural network
data mining
knowledge base
case study
multiscale
expert systems
information technology
theoretical basis
domain theory