Sessions, from Types to Programming Languages
VASCO THUDICHUM VASCONCELOS · 2013
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. 1