Is sound gradual typing dead?

Asumu Takikawa Daniel Feltey Ben Greenman Max S. New Jan Vitek Matthias Felleisen

Published in: POPL (2016)

Keyphrases

database
multi agent
databases
real world
image processing
multimedia
database systems
multiscale
cooperative
multiresolution
sound source