Collaborated with:D.Castro-Perez R.Hu N.Ng N.Yoshida
Talks about:type (2) distribut (1) structur (1) parametr (1) instanti (1) endpoint (1) communic (1) session (1) program (1) static (1)
Person: Sung-Shik Jongmans
DBLP: Jongmans:Sung=Shik
Contributed to:
2019Wrote 1 papers:
- 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.