Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types.

Anson Miu Francisco Ferreira Nobuko Yoshida Fangyi Zhou

Published in: CoRR (2021)

Keyphrases

multi party
privacy preserving
human communication
turn taking
website
web applications
secret sharing
web pages
description language
semantic web
mental states
web development
web users
programming language
hands on guide
orders of magnitude
artificial intelligence