Type safety from the ground up.

Chris Hawblitzel

Published in: TLDI (2011)

Keyphrases

data structure
preprocessing
multiresolution
real time
real world
high level
image sequences
search algorithm
digital libraries
hidden markov models