Login / Signup
In Search of Effectful Dependent Types.
Matthijs Vákár
Published in:
CoRR (2017)
Keyphrases
</>
search algorithm
search efficiency
neural network
search strategies
data sets
metadata
search space
web search
search strategy
language model
semantic search
efficient search
prior art