Sign in

Refinement types for TypeScript.

Panagiotis VekrisBenjamin CosmanRanjit Jhala
Published in: PLDI (2016)
Keyphrases
  • artificial intelligence
  • image processing
  • database
  • information retrieval
  • clustering algorithm
  • decision trees
  • pairwise
  • refinement process