Abstracting Gradual Typing Moving Forward: Precise and Space-Efficient.

Felipe Bañados Schwerter Alison M. Clark Khurram A. Jafery Ronald Garcia

Published in: CoRR (2020)

Keyphrases

space efficient
data structure
data streams
sliding window
b tree
garbage collection
real time
bi directional
linear space
bloom filter
range sum queries
database
databases
training data
multi dimensional
periodicity detection