Space-Efficient Gradual Typing.

David Herman Aaron Tomb Cormac Flanagan

Published in: Trends in Functional Programming (2007)

Keyphrases

space efficient
data structure
data streams
sliding window
uncertain data streams
range sum queries
garbage collection
pattern matching
b tree
bloom filter
linear space
databases
data sets
structured data
high dimensional
suffix array
neural network