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 | 27 | 2013 |
Type safety analysis for Dart TS Heinze, A Møller, F Strocco ACM SIGPLAN Notices 52 (2), 1-12, 2016 | 12 | 2016 |
Message safety in Dart E Ernst, A Møller, M Schwarz, F Strocco Proceedings of the 11th Symposium on Dynamic Languages, 41-53, 2015 | 11 | 2015 |
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 | 11 | 2010 |
Type unsoundness in practice: An empirical study of Dart G Mezzetti, A Møller, F Strocco ACM SIGPLAN Notices 52 (2), 13-24, 2016 | 8 | 2016 |
Managing gradual typing with message-safety in Dart E Ernst, A Møller, MR Schwarz, F Strocco | 1 | 2014 |
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, D Meglio, I Schaefer, F Strocco 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 | | |