Fabio Strocco

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
Message safety in Dart.
Sci. Comput. Program., 2017

2016
Type unsoundness in practice: an empirical study of Dart.
Proceedings of the 12th Symposium on Dynamic Languages, 2016

Type safety analysis for Dart.
Proceedings of the 12th Symposium on Dynamic Languages, 2016

2013
TraitRecordJ: A programming language with traits and records.
Sci. Comput. Program., 2013

2010
A prototypical Java-like language with records and traits.
Proceedings of the 8th International Conference on Principles and Practice of Programming in Java, 2010


  Loading...