A Multiparty Session Typing Discipline for Fault-tolerant Event-driven Distributed Programming

Publication
Proceedings of the ACM on Programming Languages