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 × Belgium
1 × Spain
Collaborated with:
E.Giachino M.Lienhardt D.Sangiorgi A.Scalas R.Hu N.Yoshida D.Kouzapas R.Perera S.J.Gay
Talks about:
session (2) mungo (2) type (2) multiparti (1) decomposit (1) typecheck (1) distribut (1) protocol (1) revisit (1) program (1)

Person: Ornela Dardha

DBLP DBLP: Dardha:Ornela

Contributed to:

SEFM 20132013
PPDP 20122012
ECOOP 20172017
PPDP 20162016

Wrote 4 papers:

SEFM-2013-DardhaGL #component #type system
A Type System for Components (OD, EG, ML), pp. 167–181.
PPDP-2012-DardhaGS #revisited
Session types revisited (OD, EG, DS), pp. 139–150.
ECOOP-2017-ScalasDHY #composition #distributed #linear #multi #programming
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (AS, OD, RH, NY), p. 31.
PPDP-2016-KouzapasDPG #protocol
Typechecking protocols with Mungo and StMungo (DK, OD, RP, SJG), pp. 146–159.

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.