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.