Types and Subtypes for Client-Server Interactions
Abstract elided by the publisher.
Related papers
- Client-server sessions in linear logic ICFP 2021
- Mixed Sessions ESOP 2020
- Communication-safe web programming in TypeScript with routed multiparty session types CC 2021
- A theory of RPC calculi for client-server model JFP 2019
- Reasoning about Web Applications: An Operational Semantics for HOP TOPLAS 2012
- Model-based, event-driven programming paradigm for interactive web applications Onward! 2013
- From C to interaction trees: specifying, verifying, and testing a networked server CPP 2019
- Server-side type profiling for optimizing client-side JavaScript engines DLS 2015