Travelled to:1 × Cyprus
Collaborated with:N.Yoshida P.Deniélou R.Hu E.Kuci S.Erdweg O.Bracevac M.Mezini
Talks about:type (2) featherweight (1) parameteris (1) multiparti (1) contextu (1) session (1) checker (1) java (1)
Person: Andi Bejleri
DBLP: Bejleri:Andi
Contributed to:
2010
2017Wrote 2 papers:
- FoSSaCS-2010-YoshidaDBH #multi
- Parameterised Multiparty Session Types (NY, PMD, AB, RH), pp. 128–145.
- ECOOP-2017-KuciEBBM #java
- A Co-contextual Type Checker for Featherweight Java (EK, SE, OB, AB, MM), p. 26.