V. Bono, C. Messa, and L. Padovani, Typing Copyless Message Passing, Proceedings of ESOP'11, pp.57-76, 2011.
DOI : 10.1007/978-3-642-19718-5_4
URL : http://arxiv.org/abs/1202.2086

V. Bono and L. Padovani, Typing Copyless Message Passing, Logical Methods in Computer Science, vol.8, pp.1-50, 2012.
DOI : 10.1007/978-3-642-19718-5_4
URL : http://arxiv.org/abs/1202.2086

V. Bono, L. Padovani, and A. Tosatto, Polymorphic Types for Leak Detection in a Session-Oriented Functional Language, 2013.
DOI : 10.1007/978-3-642-38592-6_7
URL : https://hal.archives-ouvertes.fr/hal-01515251

S. Gay, Bounded polymorphism in session types, Mathematical Structures in Computer Science, vol.715, issue.05, pp.895-930, 2008.
DOI : 10.1145/337244.337261

S. Gay and M. Hole, Subtyping for session types in the pi calculus, Acta Informatica, vol.Analysis, issue.1, pp.191-225, 2005.
DOI : 10.1007/s00236-005-0177-z

S. Gay and V. T. Vasconcelos, Linear type theory for asynchronous session types, Journal of Functional Programming, vol.73, issue.01, pp.19-50, 2010.
DOI : 10.1006/inco.1994.1093

K. Honda, Types for dyadic interaction, Proceedings of CONCUR'93, pp.509-523, 1993.
DOI : 10.1007/3-540-57208-2_35
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.1355

K. Honda, V. T. Vasconcelos, and M. Kubo, Language primitives and type discipline for structured communication-based programming, Proceedings of ESOP'98, pp.122-138, 1998.
DOI : 10.1007/BFb0053567
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.3650

G. Hunt, J. Larus, M. Abadi, M. Aiken, P. Barham et al., An Overview of the Singularity Project, 2005.

G. C. Hunt and J. R. Larus, Singularity, ACM SIGOPS Operating Systems Review, vol.41, issue.2, pp.37-49, 2007.
DOI : 10.1145/1243418.1243424

J. Villard, Heaps and Hops, 2011.

A. K. Wright and M. Felleisen, A Syntactic Approach to Type Soundness, Information and Computation, vol.115, issue.1, pp.38-94, 1994.
DOI : 10.1006/inco.1994.1093
URL : http://doi.org/10.1006/inco.1994.1093