Generic Zero-Cost Reuse for Dependent Types.

Larry Diehl Denis Firsov Aaron Stump

Published in: CoRR (2018)

Keyphrases

high cost
data sets
search algorithm
real time
neural network
information retrieval
np hard
learning objects
cost sensitive
total cost
storage space
minimal cost