Sign in
Local refinement typing.
Benjamin Cosman
Ranjit Jhala
Published in:
Proc. ACM Program. Lang. (2017)
Keyphrases
</>
refinement process
clustering algorithm
high level
viewpoint
iterative refinement