Applicative Intersection Types.

Xu Xue Bruno C. d. S. Oliveira Ningning Xie

Published in: APLAS (2022)

Keyphrases

database
data mining
information retrieval
artificial intelligence
search engine
website
image segmentation
three dimensional
cooperative
preprocessing
training set
hidden markov models
scheduling problem