Mixin Composition Synthesis Based on Intersection Types - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jan Bessai, Andrej Dudenhefner, Boris Düdder, Tzu-Chun Chen, Ugo de'Liguoro, Jakob Rehof. Mixin Composition Synthesis Based on Intersection Types. In Thorsten Altenkirch, editor, 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland. Volume 38 of LIPIcs, pages 76-91, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]

This author has not been identified. Look up 'Jan Bessai' in GoogleThis author has not been identified. Look up 'Andrej Dudenhefner' in GoogleThis author has not been identified. Look up 'Boris Düdder' in GoogleThis author has not been identified. Look up 'Tzu-Chun Chen' in GoogleThis author has not been identified. Look up 'Ugo de'Liguoro' in GoogleThis author has not been identified. Look up 'Jakob Rehof' in Google

runs on WebDSL