TY - RPRT TI - Polymorphic Endpoint Types for Copyless Message Passing AU - Viviana Bono AU - Luca Padovani PY - 2011 DO - 10.4204/eptcs.59.5 UR - https://arxiv.org/abs/1108.0466 ID - 1108.0466 ER -