Publications

@article{BCDDdLR16,

title = {Mixin Composition Synthesis based on Intersection Types},

author = {Jan Bessai and Tzu-Chun Chen and Andrej Dudenhefner and Boris Düdder and Ugo de'Liguoro and Jakob Rehof},

editor = {Lars Birkedal},

year  = {2016},

date = {2016-01-01},

journal = {Logical Methods in Computer Science},

note = {submitted},

keywords = {Intersection Types, Mixin, Object-oriented, Record calculus, Synthesis, Trait},

pubstate = {published},

tppubtype = {article}

}