A Theory of Higher-Order Subtyping with Type Intervals (Extended Version).

Sandro Stucki Paolo G. Giarrusso

Published in: CoRR (2021)

Keyphrases

higher order
high order
general theory
pairwise
theoretical framework
natural images
information theory
belief functions
real world
case study
database systems
markov random field
confidence intervals
lower order
lambda calculus