The influence of dependent types (keynote).

Stephanie Weirich

Published in: POPL (2017)

Keyphrases

neural network
similarity measure
social media
data sets
machine learning
information retrieval
learning algorithm
search engine
multi agent
data analysis
special case