Dear Spiral user, We’re pleased to introduce Helix, https://helix.imperial.ac.uk/ Imperial’s new repository for research datasets. Please use Helix for all future dataset deposits. There is no change to Spiral -continue depositing as usual. For queries, contact the Research Data Management team at rdm-enquiries@imperial.ac.uk. Kind regards, the Spiral Team.
 
Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types
Author(s)
Miu, Anson
Ferreira, Francisco
Yoshida, Nobuko
Zhou, Fangyi
Type
Software / Code
Abstract
Please refer to the README on https://github.com/STScript-2020/cc21-artifact/blob/main/README.md
Version
1
Date Issued
2021-01-05
Citation
2021
URI
URL
DOI
Copyright Statement
https://creativecommons.org/licenses/by/4.0/legalcode
Subjects
Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types