Context-free session types

@inproceedings{Thiemann2016ContextfreeST,
  title={Context-free session types},
  author={Peter Thiemann and Vasco Thudichum Vasconcelos},
  booktitle={ICFP},
  year={2016}
}
  • Peter Thiemann, Vasco Thudichum Vasconcelos
  • Published in ICFP 2016
  • Computer Science
  • Session types describe structured communication on heterogeneously typed channels at a high level. Their tail-recursive structure imposes a protocol that can be described by a regular language. The types of transmitted values are drawn from the underlying functional language, abstracting from the details of serializing values of structured data types. Context-free session types extend session types by allowing nested protocols that are not restricted to tail recursion. Nested protocols… CONTINUE READING

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 18 CITATIONS

    An OCaml Implementation of Binary Sessions

    VIEW 8 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    Context-Free Session Type Inference

    VIEW 12 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED

    Context-Free Session Type Inference

    VIEW 10 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED

    Context-Free Session Types for Applied Pi-Calculus

    VIEW 10 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED

    A simple library implementation of binary sessions

    VIEW 1 EXCERPT

    Benefits of session types for software development

    VIEW 1 EXCERPT
    CITES BACKGROUND

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 33 REFERENCES