A. Ahmed, M. Fluet, and G. Morrisett, L 3 : A linear language with locations, Fundamenta Informaticae, vol.77, issue.4, pp.397-449, 2007.

A. Charguéraud and F. Pottier, Functional translation of a calculus of capabilities, Proceedings of ICFP'08, pp.213-224, 2008.

B. Courcelle, Fundamental properties of infinite trees, Theoretical Computer Science, vol.25, issue.2, pp.95-169, 1983.
DOI : 10.1016/0304-3975(83)90059-2

O. Dardha, E. Giachino, and D. Sangiorgi, Session types revisited, Proceedings of PPDP'12, pp.139-150, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00909389

R. Demangeon and K. Honda, Full abstraction in a subtyped picalculus with linear types, Proceedings of CONCUR'11, pp.280-296, 2011.

G. Florijn, Object Protocols as Functional Parsers, Proceedings of ECOOP'95, pp.351-373, 1995.
DOI : 10.1007/3-540-49538-X_17

A. Frisch and J. Garrigue, First-class modules and composable signatures in Objective Caml 3.12, In ACM SIGPLAN Workshop on ML, 2010.

J. Simon, V. Gay, and . Vasconcelos, Linear type theory for asynchronous session types, Journal of Functional Programming, vol.20, issue.1, pp.19-50, 2010.

K. Honda, Types for dyadic interaction, Proceedings of CONCUR'93, pp.509-523, 1993.
DOI : 10.1007/3-540-57208-2_35

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

R. Hu and N. Yoshida, Hybrid Session Verification Through Endpoint API Generation, Proceedings of FASE'16, pp.401-418, 2016.
DOI : 10.1007/978-3-319-05119-2_3

H. Hüttel, I. Lanese, T. Vasco, L. Vasconcelos, M. Caires et al., Foundations of session types and behavioural contracts, ACM Computing Surveys, vol.49, issue.1, p.3, 2016.

A. J. Kfoury, J. Tiuryn, and P. Urzyczyn, Type reconstruction in the presence of polymorphic recursion, ACM Transactions on Programming Languages and Systems, vol.15, issue.2, pp.290-311, 1993.
DOI : 10.1145/169701.169687

N. Kobayashi, Type Systems for Concurrent Programs, 10th Anniversary Colloquium of UNU/IIST, LNCS 2757, pp.439-453, 2002.
DOI : 10.1007/978-3-540-40007-3_26

N. Kobayashi, B. C. Pierce, and D. N. Turner, Linearity and the pi-calculus, ACM Transactions on Programming Languages and Systems, vol.21, issue.5, pp.914-947, 1999.
DOI : 10.1145/330249.330251

C. John, G. D. Mitchell, and . Plotkin, Abstract types have existential type, ACM Transactions on Programming Languages and Systems, vol.10, issue.3, pp.470-502, 1988.

O. Nierstrasz, Regular types for active objects, Proceedings of OOP- SLA'93, pp.1-15, 1993.

L. Padovani, A Simple Library Implementation of Binary Sessions Available at https://hal.archives-ouvertes.fr/ hal-01216310. The implementation can be downloaded at http://www, 2015.

A. Ravara and V. Vasconcelos, Typing Non-uniform Concurrent Objects, Proceedings of CONCUR'00, pp.474-488, 2000.
DOI : 10.1007/3-540-44618-4_34

J. H. Reppy, Concurrent Programming in ML, 1999.
DOI : 10.1017/CBO9780511574962

M. Südholt, A Model of Components with Non-regular Protocols, Revised Selected Papers of SC'05, pp.99-113, 2005.
DOI : 10.1007/11550679_8

P. Thiemann and V. T. Vasconcelos, Context-Free Session Types, Proceedings of ICFP'16, pp.462-475, 2016.

J. A. Tov, Practical Programming with Substructural Types, 2012.

J. A. Tov and R. Pucella, Stateful Contracts for Affine Types, Proceedings of ESOP'10, pp.550-569, 2010.
DOI : 10.1007/978-3-642-11957-6_29

J. A. Tov and R. Pucella, Practical affine types, Proceedings of POPL'11, pp.447-458, 2011.

P. Wadler, Propositions as sessions, Journal of Functional Programming, vol.16, issue.2-3, pp.384-418, 2014.
DOI : 10.1016/0304-3975(87)90045-4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.225.7771

D. Walker and K. Watkins, On regions and linear types, Proceedings of ICFP'01, pp.181-192, 2001.

K. Andrew, M. Wright, and . Felleisen, A syntactic approach to type soundness, Information and Computation, vol.115, issue.1, pp.38-94, 1994.

J. Yallop and O. Kiselyov, First-class modules: hidden power and tantalizing promises, In ACM SIGPLAN Workshop on ML, 2010.