Sound gradual typing: only mostly dead.

Spenser Bauman Carl Friedrich Bolz-Tereick Jeremy G. Siek Sam Tobin-Hochstadt

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

Keyphrases

image processing
cooperative
real time
databases
sound source
decision making
image segmentation