A theory of higher-order subtyping with type intervals.

Sandro Stucki Paolo G. Giarrusso

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

Keyphrases

higher order
data sets
high order
data mining
natural images
theoretical framework
databases
website
objective function
data structure
information theory
theoretical basis
markov models
multiple types