Revisiting Parametricity: Inductives and Uniformity of Propositions.

Abhishek Anand Greg Morrisett

Published in: CoRR (2017)

Keyphrases

database
artificial intelligence
training set
np hard
high level
video sequences
expert systems
domain knowledge
databases
worst case
text classification
fixed point