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