Refinement types for TypeScript.

Panagiotis Vekris Benjamin Cosman Ranjit Jhala

Published in: PLDI (2016)

Keyphrases

artificial intelligence
image processing
database
information retrieval
clustering algorithm
decision trees
pairwise
refinement process