Communication-safe web programming in TypeScript with routed multiparty session types.
Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou
Browse the full CC paper archive.
Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou
Browse the full CC paper archive.