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]

Authors

Anson Miu

This author has not been identified. Look up 'Anson Miu' in Google

Francisco Ferreira 0001

This author has not been identified. Look up 'Francisco Ferreira 0001' in Google

Nobuko Yoshida

This author has not been identified. Look up 'Nobuko Yoshida' in Google

Fangyi Zhou 0002

This author has not been identified. Look up 'Fangyi Zhou 0002' in Google