research
∙
01/12/2021
Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types
Modern web programming involves coordinating interactions between browse...
research
∙
04/03/2020