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
182013
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 safety analysis for Dart
TS Heinze, A Møller, F Strocco
ACM SIGPLAN Notices 52 (2), 1-12, 2016
82016
Message safety in Dart
E Ernst, A Møller, M Schwarz, F Strocco
Science of Computer Programming 133, 51-73, 2017
72017
Type unsoundness in practice: An empirical study of Dart
G Mezzetti, A Møller, F Strocco
ACM SIGPLAN Notices 52 (2), 13-24, 2016
52016
Literary Reading as a Social Technology 12
M Steenberg
Plotting the Reading Experience: Theory/Practice/Politics, 2016
52016
Managing gradual typing with message-safety in Dart
E Ernst, A Møller, M Schwarz, F Strocco
Foundations of Object-Oriented Languages 8, 2014
12014
Type Soundness in the Dart Programming Language
F Strocco
Aarhus University, 2016
2016
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–11