102 citations · 226 across the 18 of their papers we have counts for
Showing 2011 · cs.PLShow all
2 papers · 2 filters
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…