Archived tweet #5638 from the @leastfixedpoint Twitter Archive

@garybernhardt @johnbender I'm late to this party but you might be interested in the literature on Session Types eg. doc.ic.ac.uk/~yoshida/multi…