Local refinement typing.

Benjamin Cosman Ranjit Jhala

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

Keyphrases

refinement process
clustering algorithm
high level
viewpoint
iterative refinement