Simple, partial type-inference for System F based on type-containment.

Published in: ICFP (2005)

Keyphrases

database
neural network
data sets
real time
artificial intelligence
computer vision
case study
high level
similarity measure
data structure
lower bound
mobile robot
query optimization