Communication-safe web programming in TypeScript with routed multiparty session types.
Anson MiuFrancisco FerreiraNobuko YoshidaFangyi ZhouPublished in: CC (2021)
Keyphrases
- multi party
- turn taking
- human communication
- privacy preserving
- secret sharing
- website
- hands on guide
- web applications
- web pages
- description language
- web documents
- web mining
- web content
- mental states
- programming language
- communication networks
- domain independent
- open source
- asynchronous communication
- artificial intelligence