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