Communication-safe web programming in TypeScript with routed multiparty session types

Anson Miu, Francisco Ferreira 0001, Nobuko Yoshida, Fangyi Zhou 0002. Communication-safe web programming in TypeScript with routed multiparty session types. In Aaron Smith, Delphine Demange, Rajiv Gupta 0001, editors, CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, Virtual Event, Republic of Korea, March 2-3, 2021. pages 94-106, ACM, 2021. [doi]

Abstract

Abstract is missing.