Set-theoretic types for polymorphic variants.

Giuseppe Castagna Tommaso Petrucciani Kim Nguyen

Published in: ICFP (2016)

Keyphrases

set theoretic
image recovery
data sets
decision trees
principal component analysis
rough sets