A spectrum of type soundness and performance.

Ben Greenman Matthias Felleisen

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

Keyphrases

cooperative
information systems
digital libraries
multiresolution
database
real time
clustering algorithm
image segmentation
lower bound
multiple types