Login / Signup
Parametricity in an Impredicative Sort
Chantal Keller
Marc Lasson
Published in:
CoRR (2012)
Keyphrases
</>
real world
data mining
database
information retrieval
pattern recognition