Sound gradual typing is nominally alive and well.

Fabian Muehlboeck Ross Tate

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

Keyphrases

database
real time
feature selection
database systems
multiscale
cooperative
pattern recognition
control system