Search papers, labs, and topics across Lattice.
1
0
A new proof technique reveals how to exhaustively detect subtyping failures in multiparty session types, enhancing program safety guarantees.
