A Calculus for Boxes and Traits in a Java-Like Setting.

Lorenzo Bettini, Ferruccio Damiani, Marco De Luca, Kathrin Geilmann, Jan Schfer

Browse the full Coordination paper archive.