SFJ: An Implementation of Semantic Featherweight Java.

Artem Usov, Ornela Dardha

Browse the full Coordination paper archive.