Foundations for the Implementation of Higher-Order Subtyping.

Published in: ICFP (1997)

Keyphrases

higher order
high order
pairwise
implementation details
artificial intelligence
natural images
information technology
lambda calculus
graphical models
management system
real time
lower bound
objective function
high level
decision trees
databases
data sets