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 Sung-Shik Jongmans N.Ng
Talks about:
type (3) session (2) distribut (1) structur (1) parametr (1) parallel (1) instanti (1) function (1) endpoint (1) communic (1)

Person: David Castro-Perez

DBLP DBLP: Castro-Perez:David

Contributed to:

CC 20202020
POPL 20192019

Wrote 2 papers:

CC-2020-Castro-PerezY #compilation #first-order #parallel
Compiling first-order functions to session-typed parallel code (DCP, NY), pp. 143–154.
POPL-2019-CastroHJNY #api #communication #distributed #parametricity #programming #static typing #using
Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures (DCP, RH, SSJ, NN, NY), p. 30.

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.