8 citations · 8 across the 2 of their papers we have counts for
2 papers
cs.PL2021
Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types
Anson Miu, Francisco Ferreira, Nobuko Yoshida +1
Modern web programming involves coordinating interactions between browser clients and a server. Typically, the interactions in web-based distributed systems are informally describe…
cs.PL2020★ 8 cited
Generating Interactive WebSocket Applications in TypeScript
Anson Miu, Francisco Ferreira, Nobuko Yoshida +1
Advancements in mobile device computing power have made interactive web applications possible, allowing the web browser to render contents dynamically and support low-latency commu…