B. Anderson, L. Bergstrom, M. Goregaokar, J. Matthews, K. Mcallister et al., Engineering the servo web browser engine using Rust, Proceedings of the 38th International Conference on Software Engineering Companion, ICSE '16, 2016.
DOI : 10.1145/2184489.2184508

G. Henry and . Baker, Linear logic and permutation stacks -the Forth shall be first, SIGARCH Computer Architecture News, vol.22, issue.1, pp.34-43, 1994.

G. Henry and . Baker, Minimum Reference Count Updating with Deferred and Anchored Pointers for Functional Data Structures, SIGPLAN Notices, vol.29, issue.9, pp.38-43, 1994.

G. Henry and . Baker, Use-Once" Variables and Linear Objects -Storage Management, Reflection and Multi-Threading, SIGPLAN Notices, vol.30, issue.1, pp.45-52, 1995.

R. F. Blute, J. R. Cockett, and R. A. Seely, ! and ? ??? Storage as tensorial strength, Mathematical Structures in Computer Science, vol.1, issue.04, pp.313-351, 1996.
DOI : 10.1017/CBO9780511525902.004
URL : http://www.math.mcgill.ca/rags/bang/bang.ps.gz

J. Chirimar, C. A. Gunter, and J. G. Riecke, Abstract, Journal of Functional Programming, vol.21, issue.02, pp.195-244, 1996.
DOI : 10.1007/BFb0013458

P. Curien, M. Fiore, and G. Munch-maccagnoni, A Theory of Effects and Resources: Adjunction Models and Polarised Calculi, Proc. POPL, 2016.
DOI : 10.1145/2914770.2837652
URL : https://hal.archives-ouvertes.fr/hal-01256092

T. Ehrhard, Effects in Call-By-Push-Value, from a Linear Logic point of view, 2016.
DOI : 10.1007/978-3-662-49498-1_9
URL : https://hal.archives-ouvertes.fr/hal-01375814

J. Girard, Linear logic, Theoretical Computer Science, vol.50, issue.1, pp.1-102, 1987.
DOI : 10.1016/0304-3975(87)90045-4
URL : https://hal.archives-ouvertes.fr/inria-00075966

J. Girard, A new constructive logic: classic logic, Mathematical Structures in Computer Science, vol.7, issue.2, pp.255-296, 1991.
DOI : 10.1016/0304-3975(87)90045-4

J. Girard, On the unity of logic, Annals of Pure and Applied Logic, vol.59, issue.3, pp.201-217, 1993.
DOI : 10.1016/0168-0072(93)90093-S
URL : https://hal.archives-ouvertes.fr/inria-00075095

M. Hasegawa, Semantics of Linear Continuation-Passing in Call-by-Name, International Symposium on Functional and Logic Programming, pp.229-243, 2004.
DOI : 10.1007/978-3-540-24754-8_17
URL : http://www.kurims.kyoto-u.ac.jp/~hassei/papers/flops2004.pdf

E. Howard, P. Hinnant, D. Dimov, and . Abrahams, A Proposal to Add Move Semantics Support to the C++ Language, 2002.

A. Kock, Strong functors and monoidal monads, Archiv der Mathematik, vol.1, issue.1, pp.113-120, 1972.
DOI : 10.1007/BF01304852

L. Paul-blain, Adjunction models for call-by-push-value with stacks. Theory and Application of Categories, pp.75-110, 2005.

P. Melliès, Categorical semantics of linear logic, Panoramas et Synthèses, vol.27, pp.15-215, 2009.

P. Melliès, Parametric monads and enriched adjunctions, Unpublished manuscript, vol.28, 2012.

E. Moggi, Notions of computation and monads, Information and Computation, vol.93, issue.1, pp.55-920890, 1991.
DOI : 10.1016/0890-5401(91)90052-4
URL : https://doi.org/10.1016/0890-5401(91)90052-4

G. Munch-maccagnoni, Models of a Non-associative Composition, Proc. FoSSaCS (LNCS), pp.397-412, 2014.
DOI : 10.1007/978-3-642-54830-7_26
URL : https://hal.archives-ouvertes.fr/hal-00996729

G. Munch-maccagnoni, Resource Polymorphism, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01724997

B. Stroustrup, The design and evolution of C++. Pearson Education India, 1994.

B. Stroustrup, Exception Safety: Concepts and Techniques, pp.60-76, 2001.
DOI : 10.1007/3-540-45407-1_4
URL : http://research.att.com/~bs/except.pdf

B. Stroustrup, H. Sutter, and G. Reis, A brief introduction to C++'s model for type-and resource-safety, 2015.