Achieving Type Safety for Low-Level Code.

J. Gregory Morrisett

Published in: ICLP (2003)

Keyphrases

low level
high level
higher level
source code
low level features
visual features
visual information
lower level
mid level
data mining
computer vision
multiscale