Type safety analysis for Dart

Thomas S. Heinze, Anders Møller, Fabio Strocco. Type safety analysis for Dart. In Roberto Ierusalimschy, editor, Proceedings of the 12th Symposium on Dynamic Languages, DLS 2016, Amsterdam, The Netherlands, November 1, 2016. pages 1-12, ACM, 2016. [doi]

Abstract

Abstract is missing.