Session types for Rust

@inproceedings{Jespersen2015SessionTF,
  title={Session types for Rust},
  author={Thomas Bracht Laumann Jespersen and Philip Munksgaard and Ken Friis Larsen},
  booktitle={WGP@ICFP},
  year={2015}
}
We present a library for specifying session types implemented in Rust, and discuss practical use cases through examples and demonstrate how session types may be used in a large-scale application. Specifically we adapt parts of the ad-hoc communication patterns in the Servo browser engine to use session typed channels. Session types provide a protocol abstraction, expanding on traditional typed communication channels, to ensure that communication takes place according to a specified protocol… CONTINUE READING
Highly Cited
This paper has 22 citations. REVIEW CITATIONS
Related Discussions
This paper has been referenced on Twitter 1 time. VIEW TWEETS

From This Paper

Figures, tables, and topics from this paper.

Explore Further: Topics Discussed in This Paper

References

Publications referenced by this paper.

Haskell session types with (almost) no class

View 6 Excerpts
Highly Influenced