20 citations · 28 across the 2 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
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…