Travelled to:1 × Poland
1 × United Kingdom
Collaborated with:M.Dezani-Ciancaglini N.Yoshida M.Viering P.Eugster R.Hu L.Ziarek J.Bessai A.Dudenhefner B.Düdder U.de'Liguoro J.Rehof
Talks about:type (3) intersect (1) distribut (1) disciplin (1) synthesi (1) composit (1) session (1) verifi (1) system (1) subtyp (1)
Person: Tzu-Chun Chen
DBLP: Chen:Tzu=Chun
Contributed to:
2015
2014
2018Wrote 3 papers:
- TLCA-2015-BessaiDDCdR #composition #mixin #synthesis
- Mixin Composition Synthesis Based on Intersection Types (JB, AD, BD, TCC, Ud, JR), pp. 76–91.
- PPDP-2014-ChenDY #on the #precise #type system
- On the Preciseness of Subtyping in Session Types (TCC, MDC, NY), pp. 135–146.
- ESOP-2018-VieringCEHZ #distributed #type system
- A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems (MV, TCC, PE, RH, LZ), pp. 799–826.