3 ms·Good. Session types are not the only approach to typing interaction, although probably the simplest.by mafribe 11y agoGood. Session types are not the only approach to typing interaction, although probably the simplest.