Login / Signup
Set-theoretic foundation of parametric polymorphism and subtyping.
Giuseppe Castagna
Zhiwu Xu
Published in:
ICFP (2011)
Keyphrases
</>
set theoretic
image recovery
data sets
decision trees