BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
N.Yoshida R.Hu F.Abdeljallal
Talks about:
protocol (2) multiparti (1) distribut (1) recoveri (1) session (1) generat (1) provid (1) compil (1) refin (1) recov (1)

Person: Rumyana Neykova

DBLP DBLP: Neykova:Rumyana

Contributed to:

CC 20172017
CC 20182018

Wrote 2 papers:

CC-2017-NeykovaY #multi
Let it recover: multiparty protocol-induced recovery (RN, NY), pp. 98–108.
CC-2018-NeykovaHYA #api #distributed #f# #generative #protocol
A session type provider: compile-time API generation of distributed protocols with refinements in F# (RN, RH, NY, FA), pp. 128–138.

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.