most citedSession Types = Intersection Types + Union Types

20 citations · 28 across the 2 of their papers we have counts for

collaborators

2 papers

cs.PL2011★ 8 cited

Polymorphic Endpoint Types for Copyless Message Passing

Viviana Bono, Luca Padovani

We present PolySing#, a calculus that models process interaction based on copyless message passing, in the style of Singularity OS. We equip the calculus with a type system that ac…

cs.PL2011★ 20 cited

Session Types = Intersection Types + Union Types

Luca Padovani

We propose a semantically grounded theory of session types which relies on intersection and union types. We argue that intersection and union types are natural candidates for model…