Softly safely spoken : Role playing for Session Types

  title={Softly safely spoken : Role playing for Session Types},
  author={Elena Giachino and Matthew Sackman and Sophia Drossopoulou and Susan Eisenbach},
Session types have made much progress at permitting programs be statically verified concordant with a specified protocol. However, it is difficult to build abstractions of, or encapsulate Session types, thus limiting their flexibility. Global session types add further constraints to communication, by permitting the order of exchanges amongst many participants to be specified. The cost is that the number of participants is statically fixed. We introduce Roles in which, similarly to global… CONTINUE READING