Travelled to:1 × Poland
Collaborated with:A.Dudenhefner B.Düdder T.Chen U.de'Liguoro J.Rehof
Talks about:intersect (1) synthesi (1) composit (1) mixin (1) type (1) base (1)
Person: Jan Bessai
DBLP: Bessai:Jan
Contributed to:
Wrote 1 papers:
- TLCA-2015-BessaiDDCdR #composition #mixin #synthesis
- Mixin Composition Synthesis Based on Intersection Types (JB, AD, BD, TCC, Ud, JR), pp. 76–91.












