Abstraction and invariance for algebraically indexed types.

Robert Atkey Patricia Johann Andrew Kennedy

Published in: POPL (2013)

Keyphrases

machine learning
discriminative power
information retrieval
information systems
multiresolution
learning algorithm
artificial intelligence
optimal solution
data model
invariant features
linear systems
iterative methods