A space-efficient call-by-value virtual machine for gradual set-theoretic types.

Giuseppe Castagna Guillaume Duboc Victor Lanvin Jeremy G. Siek

Published in: IFL (2019)

Keyphrases

space efficient
set theoretic
virtual machine
data structure
operating system
image recovery
data center
data streams
sliding window
bloom filter
garbage collection
multi tasking
databases
b tree
power consumption
low cost
machine learning