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: Castro-Perez:David
Contributed to:
2020
2019Wrote 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.