BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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'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 DBLP: Chen:Tzu=Chun

Contributed to:

TLCA 20152015
PPDP 20142014
ESOP 20182018

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.