TY  - RPRT
TI  - Multiparty Session Type-safe Web Development with Static Linearity
AU  - Jonathan King
AU  - Nicholas Ng
AU  - Nobuko Yoshida
PY  - 2019
DO  - 10.4204/eptcs.291.4
UR  - https://arxiv.org/abs/1904.01287
ID  - 1904.01287
ER  -