Space-efficient gradual typing.

David Herman Aaron Tomb Cormac Flanagan

Published in: High. Order Symb. Comput. (2010)

Keyphrases

space efficient
data structure
data streams
sliding window
linear space
range sum queries
b tree
garbage collection
database systems
suffix array
databases
multi dimensional
locality sensitive hashing
kd tree
uncertain data streams