Typed compilation of inclusive subtyping.

Published in: ICFP (2000)

Keyphrases

higher order
lambda calculus
artificial intelligence
image processing
knowledge compilation
database
information retrieval
feature selection
scheduling problem