Gradual typing with union and intersection types.

Giuseppe Castagna Victor Lanvin

Published in: Proc. ACM Program. Lang. (2017)

Keyphrases

data sets
information retrieval
website
search algorithm
image retrieval
recommender systems
data model