Decidable Subtyping of Existential Types for Julia.

Julia Belyakova Benjamin Chung Ross Tate Jan Vitek

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

Keyphrases

data sets
machine learning
social networks
decision making
image processing
neural network
artificial intelligence
multiscale
optimal solution
learning environment