Type-safe modular hash-consing.

Jean-Christophe Filliâtre Sylvain Conchon

Published in: ML (2006)

Keyphrases

multiple types
database
data sets
multimedia
image sequences
bayesian networks
video sequences
multiresolution
highly flexible