Mixin Composition Synthesis based on Intersection Types

Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner +3

We present a method for synthesizing compositions of mixins using type inhabitation in intersection types. First, recursively defined classes and mixins, which are functions over c…