Sessions, from types to programming languages

Vasco T. Vasconcelos, LaSIGE, Faculty of Sciences, University of Lisbon

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.