2016
Mixin Composition Synthesis based on Intersection Types Journal Article
In: Logical Methods in Computer Science, 2016, (submitted).
Mixin Composition Synthesis based on Intersection Types Journal Article
In: Logical Methods in Computer Science, 2016, (submitted).