Login / Signup
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