Type unsoundness in practice: an empirical study of Dart.

Gianluca Mezzetti, Anders Mller, Fabio Strocco

Browse the full DLS paper archive.