@Inproceedings{EPTCS314.2, author = {Miu, Anson and Ferreira, Francisco and Yoshida, Nobuko and Zhou, Fangyi}, year = {2020}, title = {Generating Interactive WebSocket Applications in TypeScript}, editor = {Balzer, Stephanie and Padovani, Luca}, booktitle = {{\rm Proceedings of the 12th International Workshop on} Programming Language Approaches to Concurrency- and Communication-cEntric Software, {\rm Dublin, Ireland, 26th April 2020}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {314}, publisher = {Open Publishing Association}, pages = {12-22}, doi = {10.4204/EPTCS.314.2}, }