Type unsoundness in practice: an empirical study of Dart

The type system in the Dart programming language is deliberately designed to be unsound: for a number of reasons, it may happen that a program encounters type errors at runtime although the static ...