Subtyping Recursive Types Modulo Associative Commutative Products.

Roberto Di Cosmo François Pottier Didier Rémy

Published in: TLCA (2005)

Keyphrases

image processing
special case
data mining
spreading activation