@InProceedings{ BonoPadovani11,
author = {Viviana Bono and Luca Padovani},
title = {{Polymorphic Endpoint Types for Copyless Message
Passing}},
booktitle = {Proceedings of the 4th Interaction and Concurrency
Experience (ICE'11)},
year = {2011},
series = {EPTCS},
volume = {59},
pages = {52-67},
publisher = {Open Publishing Association},
doi = {10.4204/EPTCS.59.5},
abstract = { 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 accommodates polymorphic endpoint types, which are a
variant of polymorphic session types, and we show that
well-typed processes are free from faults, leaks, and
communication errors. The type system is essentially
linear, although linearity alone may leave room for
scenarios where well-typed processes leak memory. We
identify a condition on endpoint types that prevents these
leaks from occurring. }
}