BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Slovenia
Collaborated with:
N.Yoshida J.A.Pérez O.Dardha R.Perera S.J.Gay R.Hu O.Pernet K.Honda
Talks about:
session (2) mungo (2) typecheck (1) protocol (1) process (1) express (1) higher (1) relat (1) order (1) event (1)

Person: Dimitrios Kouzapas

DBLP DBLP: Kouzapas:Dimitrios

Contributed to:

ECOOP 20102010
ESOP 20162016
PPDP 20162016

Wrote 3 papers:

ECOOP-2010-HuKPYH #java #type safety
Type-Safe Eventful Sessions in Java (RH, DK, OP, NY, KH), pp. 329–353.
ESOP-2016-KouzapasPY #higher-order #on the #process
On the Relative Expressiveness of Higher-Order Session Processes (DK, JAP, NY), pp. 446–475.
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.