Boxy types: inference for higher-rank types and impredicativity.

Dimitrios Vytiniotis Stephanie Weirich Simon L. Peyton Jones

Published in: ICFP (2006)

Keyphrases

real time
computer vision
multiscale
database
search engine
image processing
image segmentation
bayesian networks
information technology