Follow
Fabio Strocco
Fabio Strocco
PhD student at Aarhus University
Verified email at cs.au.dk
Title
Cited by
Cited by
Year
TraitRecordJ: A programming language with traits and records
L Bettini, F Damiani, I Schaefer, F Strocco
Science of Computer Programming 78 (5), 521-541, 2013
272013
Type safety analysis for Dart
TS Heinze, A Møller, F Strocco
ACM SIGPLAN Notices 52 (2), 1-12, 2016
122016
Message safety in Dart
E Ernst, A Møller, M Schwarz, F Strocco
Proceedings of the 11th Symposium on Dynamic Languages, 41-53, 2015
112015
A prototypical Java-like language with records and traits
L Bettini, F Damiani, I Schaefer, F Strocco
Proceedings of the 8th International Conference on the Principles and …, 2010
112010
Type unsoundness in practice: An empirical study of Dart
G Mezzetti, A Møller, F Strocco
ACM SIGPLAN Notices 52 (2), 13-24, 2016
82016
Managing gradual typing with message-safety in Dart
E Ernst, A Møller, MR Schwarz, F Strocco
12014
Type Soundness in the Dart Programming Language
F Strocco
Department of Computer Science, University of Aarhus, 2016
2016
SWRTJ-Sugared Welterweight Record-Trait Java
L Bettini, F Damiani, IM Margaria, F Strocco
Universita'di Torino, 2010
2010
DeltaJ: a delta oriented programming language with core and delta modules
L Bettini, F Damiani, IM Margaria, M Denis, S Ina, S Fabio
Universita'di Torino, 2010
2010
Statische Typableitung für die optional typisierte Sprache Dart
TS Heinze, A Møller, F Strocco
Varianten der modularen Typableitung für Dart
TS Heinze, A Møller, F Strocco
JENAER SCHRIFTEN, 102, 0
A Programming Language with Records and Traits
L Bettini, F Damiani, I Schaefer, F Strocco
The system can't perform the operation now. Try again later.
Articles 1–12