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…