: graphic type constraints with efficient type inference.

Didier Rémy Boris Yakobowski

Published in: ICFP (2008)

Keyphrases

databases
multiscale
data model
real world
decision making
image processing
multi agent
video sequences
search algorithm
digital libraries