Safe & Efficient Gradual Typing for TypeScript.

Aseem Rastogi Nikhil Swamy Cédric Fournet Gavin M. Bierman Panagiotis Vekris

Published in: POPL (2015)

Keyphrases

wide range
data mining
database systems
video sequences
computationally efficient
computationally expensive
neural network
information retrieval
genetic algorithm
knowledge base
website
expert systems
information technology
artificial neural networks
multiresolution