Login / Signup
Anson Miu
ORCID
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 3
Top Topics
Description Language
Web Pages
Mental States
Hands On Guide
Top Venues
CoRR
PLACES@ETAPS
CC
</>
Publications
</>
Anson Miu
,
Francisco Ferreira
,
Nobuko Yoshida
,
Fangyi Zhou
Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types.
CoRR
(2021)
Anson Miu
,
Francisco Ferreira
,
Nobuko Yoshida
,
Fangyi Zhou
Communication-safe web programming in TypeScript with routed multiparty session types.
CC
(2021)
Anson Miu
,
Francisco Ferreira
,
Nobuko Yoshida
,
Fangyi Zhou
Generating Interactive WebSocket Applications in TypeScript.
PLACES@ETAPS
(2020)