Local Refinement Typing.

Benjamin Cosman Ranjit Jhala

Published in: CoRR (2017)

Keyphrases

refinement process
data sets
databases
image processing
relational databases
web search
logic programs