Fabio Strocco

According to our database, Fabio Strocco authored at least 5 papers between 2010 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2017

Message safety in Dart.

Erik Ernst, Anders Møller, Mathias Schwarz, Fabio Strocco

Sci. Comput. Program., 2017

2016

Type unsoundness in practice: an empirical study of Dart.

Gianluca Mezzetti, Anders Møller, Fabio Strocco

Proceedings of the 12th Symposium on Dynamic Languages, 2016

Type safety analysis for Dart.

Thomas S. Heinze, Anders Møller, Fabio Strocco

Proceedings of the 12th Symposium on Dynamic Languages, 2016

2013

TraitRecordJ: A programming language with traits and records.

Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco

Sci. Comput. Program., 2013

2010

A prototypical Java-like language with records and traits.

Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco

Proceedings of the 8th International Conference on Principles and Practice of Programming in Java, 2010