@InProceedings{ BonoPadovaniTosatto13,
author = {Viviana Bono and Luca Padovani and Andrea Tosatto},
title = {{Polymorphic Types for Leak Detection in a
Session-Oriented Functional Language}},
booktitle = {Proceedings of the IFIP International Conference on Formal
Methods and Techniques (FORTE'13)},
year = {2013},
series = {LNCS},
volume = {7892},
pages = {83-98},
publisher = {Springer},
doi = {10.1007/978-3-642-38592-6\_7},
abstract = { Copyless message passing is a communication paradigm in
which only pointers are exchanged between sender and
receiver processes. Because of its nature, this paradigm
requires that messages are treated as linear resources.
Yet, even linear type systems leave room for scenarios
where apparently well-typed programs may leak memory. In
this work we develop a polymorphic type system for
leak-free copyless messaging in a functional setting, where
first-class functions can be used as messages. }
}