Sessions, from Types to Programming Languages

  title={Sessions, from Types to Programming Languages},
  author={Vasco Thudichum Vasconcelos},
  journal={Bulletin of the EATCS},
We discuss session types independently of any programming language. We then embody the notion in languages from three different paradigms: the pi calculus, a functional language, and an object-oriented language. 
Highly Cited
This paper has 21 citations. REVIEW CITATIONS