Refinement Types: A Tutorial.

Ranjit Jhala Niki Vazou

Published in: Found. Trends Program. Lang. (2021)

Keyphrases

database systems
image retrieval
multiple types
information retrieval
social networks
case study
three dimensional
information technology
probabilistic model