@inproceedings{BonoPadovaniTosatto13,
  volume = {7892},
  author = {Viviana Bono and Luca Padovani and Andrea Tosatto},
  series = {LNCS},
  booktitle = {Proceedings of the IFIP International Conference on Formal
               Methods and Techniques (FORTE'13)},
  url = {http://www.di.unito.it/~padovani/Papers/BonoPadovaniTosatto13.pdf},
  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. },
  title = {{Polymorphic Types for Leak Detection in a Session-Oriented
           Functional Language}},
  publisher = {Springer},
  year = {2013},
  pages = {83-98},
  doi = {10.1007/978-3-642-38592-6\_7},
}

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)