A prototypical Java-like language with records and traits. - Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer; Fabio Strocco (PPPJ, 2010)

TraitRecordJ: A programming language with traits and records. - Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer; Fabio Strocco (Sci. Comput. Program., 2013)

Type safety analysis for Dart. - Thomas S. Heinze; Anders Møller; Fabio Strocco (DLS, 2016)

Type unsoundness in practice: an empirical study of Dart. - Gianluca Mezzetti; Anders Møller; Fabio Strocco (DLS, 2016)

Message safety in Dart. - Erik Ernst; Anders Møller; Mathias Schwarz; Fabio Strocco (Sci. Comput. Program., 2017)