Publications
  • Erik Ernst and Anders Moeller and Mathias Schwarz and Fabio Strocco: Message-Safety in Dart. Proc. 11th Dynamic Languages Symposium (DLS) This paper presents a faithful formalization of Dart, and presents the notion of Message-Safety together with a soundness-like property proof supporting message-safety.
  • Erik Ernst and Anders Moeller and Mathias Schwarz and Fabio Strocco: Managing Gradual Typing with Message-Safety in Dart. Sci. Comput. Program. 21th International Workshop on Foundations of Object-Oriented Languages (FOOL) This paper establishes a notion of message-safe programs as a natural intermediate point between dynamically typed and statically typed Dart program.
  • Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco: TraitRecordJ: A programming language with traits and records. Sci. Comput. Program. 78(5): 521-541
  • Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco: A prototypical Java-like language with records and traits. PPPJ 2010: 129-138