2 ms·Am I correct in thinking that this is similar to "Session Types"?by rackjack 5y agoAm I correct in thinking that this is similar to "Session Types"?