Search papers, labs, and topics across Lattice.
2
0
2
4
A new proof technique reveals how to exhaustively detect subtyping failures in multiparty session types, enhancing program safety guarantees.
The top-down approach to multiparty session types is just as powerful as the bottom-up method, challenging long-held assumptions about typability in distributed systems.
