Fabio Strocco -

Registered user since Wed 15 Oct 2014

Name:Fabio Strocco

Affiliation:Aarhus University, Denmark

Contributions

DLS 2016	Author of Type Unsoundness in Practice: An Empirical Study of Dart within the DLS-track Author of Type Safety Analysis for Dart within the DLS-track
DLS 2015	Author of Message Safety in Dart within the DLS-track
FOOL	Author of Managing Gradual Typing with Message-Safety in Dart within the FOOL-track