Refinement Types for TypeScript.

Panagiotis Vekris Benjamin Cosman Ranjit Jhala

Published in: CoRR (2016)

Keyphrases

neural network
artificial intelligence
data sets
social networks
feature extraction
feature space