Sign in

Multiparty Session Type-safe Web Development with Static Linearity.

Jonathan KingNicholas NgNobuko 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