Hybrid Intersection Types for PCF.

Pablo Barenbaum Delia Kesner Mariana Milicich

Published in: LPAR (2024)

Keyphrases

information retrieval
multiresolution
special case
data mining
image processing
web services
search algorithm