Mixin Composition Synthesis based on Intersection Types

Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner, Boris Düdder, Ugo de'Liguoro, Jakob Rehof. Mixin Composition Synthesis based on Intersection Types. Logical Methods in Computer Science, 14(1), 2018. [doi]

Abstract

Abstract is missing.