. Rust, Leak-Freedom in C++. . . By Default, issue.Rust, 2013.

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

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

G. Combette and G. Munch-maccagnoni, A resource modality for RAII, LOLA 2018: Workshop on Syntax and Semantics of Low-Level Languages, pp.4-16, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01806634

O. Danvy, Defunctionalized Interpreters for Programming Languages, Proceedings of the 13th ACM SIGPLAN international conference on Functional programming (ICFP, 2008.

O. Danvy and L. R. Nielsen, Defunctionalization at Work. Research Report BRICS RS-01-23, the Third International Conference on Principles and Practice of Declarative Programming, vol.3, p.4, 2001.

G. Huet, The zipper, Journal of functional programming, vol.7, issue.4, pp.549-554, 1997.

G. Huet, Linear Contexts, Sharing Functors: Techniques for Symbolic Computation, pp.49-69, 2003.

A. Koenig and B. Stroustrup, Exception Handling for C++, Proceedings of the C++ Conference, pp.149-176, 1990.

L. Paul-blain, Contextual isomorphisms, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, pp.400-414, 2017.

C. Mcbride, The Derivative of a Regular Type is its Type of One-Hole Contexts, p.4, 2001.

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

M. Odersky, Observers for linear types, ESOP '92, 1992.

J. Polakow, Ordered Linear Logic and Applications, 2001.

J. Polakow and K. Yi, Proving Syntactic Properties of Exceptions in an Ordered Logical Framework, Functional and Logic Programming, 5th International Symposium, vol.2024, pp.61-77, 2001.

J. C. Reynolds, Definitional Interpreters for HigherOrder Programming Languages, Reprinted in Higher-Order and Symbolic Computation, vol.11, p.4, 1972.

C. John and . Reynolds, Definitional Interpreters Revisited. Higher-Order and Symbolic Computation, vol.11, issue.5, pp.355-361, 1998.

H. Schorr and W. M. Waite, An Efficient Machineindependent Procedure for Garbage Collection in Various List Structures, Commun. ACM, vol.10, p.4, 1967.

J. Sobel and D. P. Friedman, Recycling Continuations. SIGPLAN Not, vol.34, pp.251-260, 1998.

B. Stroustrup, Foundations of C++, European Symposium on Programming, pp.1-25, 2012.

M. Wand, Continuation-Based Program Transformation Strategies, J. ACM, vol.27, 1980.