Type unsoundness in practice: an empirical study of Dart

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]

Authors

Gianluca Mezzetti

This author has not been identified. Look up 'Gianluca Mezzetti' in Google

Anders Møller

This author has not been identified. Look up 'Anders Møller' in Google

Fabio Strocco

This author has not been identified. Look up 'Fabio Strocco' in Google