Type unsoundness in practice: an empirical study of Dart.

Gianluca Mezzetti Anders Møller Fabio Strocco

Published in: DLS (2016)

Keyphrases

practical significance
database systems
co occurrence
machine learning
computer vision
knowledge base
multimedia
cooperative
digital libraries
association rules
widely accepted