Multiparty Session Type-safe Web Development with Static Linearity.

Jonathan King Nicholas Ng Nobuko Yoshida

Published in: PLACES@ETAPS (2019)

Keyphrases

multi party
web development
privacy preserving
database driven
web applications
development tools
web services
open source
description language