Space-Efficient Gradual Typing in Coercion-Passing Style.

Yuya Tsuda Atsushi Igarashi Tomoya Tabuchi

Published in: ECOOP (2020)

Keyphrases

space efficient
data structure
data streams
sliding window
range sum queries
bloom filter
b tree
suffix array
locality sensitive hashing
linear space
garbage collection
uncertain data streams
pattern matching
data compression
learning algorithm
text entry
kd tree