Space-Efficient Polymorphic Gradual Typing, Mostly Parametric.

Atsushi Igarashi Shota Ozaki Taro Sekiyama Yudai Tanabe

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

space efficient
data structure
data streams
sliding window
garbage collection
parametric models
linear space
learning algorithm
b tree
suffix array
kd tree
range sum queries
data sources
database management systems
text entry