Gianluca Mezzetti, Anders Møller, Fabio Strocco. Type unsoundness in practice: an empirical study of Dart. In Roberto Ierusalimschy, editor, Proceedings of the 12th Symposium on Dynamic Languages, DLS 2016, Amsterdam, The Netherlands, November 1, 2016. pages 13-24, ACM, 2016. [doi]
Abstract is missing.