Archived tweet #3442 from the @leastfixedpoint Twitter Archive

The Multiparty Asynchronous Session Types of Honda, Yoshida, Bejleri, and Carbone: doc.ic.ac.uk/~yoshida/multi… Very cool system!