Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
2 results

Modular session types for objects

Simon J. Gay ; Nils Gesbert ; António Ravara ; Vasco T. Vasconcelos.
Session types allow communication protocols to be specified type-theoretically so that protocol implementations can be verified by static type checking. We extend previous work on session types for distributed object-oriented languages in three ways. (1) We attach a session type to a class&nbsp;[&hellip;]
Published on December 16, 2015
Volume 11, Issue 4

Affine Sessions

Dimitris Mostrous ; Vasco T. Vasconcelos.
Session types describe the structure of communications implemented by channels. In particular, they prescribe the sequence of communications, whether they are input or output actions, and the type of value exchanged. Crucial to any language with session types is the notion of linearity, which is&nbsp;[&hellip;]
Published on November 15, 2018
Volume 14, Issue 4
  • < Previous
  • 1
  • Next >