Sessions, from Types to Programming Languages

Vasco T. Vasconcelos. Sessions, from Types to Programming Languages. Bulletin of the EATCS, 103:53-73, 2011. [doi]

Abstract

Abstract is missing.