, Leak-Freedom in C++. . . By Default, issue.Rust, 2013.
Linear logic and permutation stacksthe Forth shall be first, SIGARCH Computer Architecture News, vol.22, pp.34-43, 1994. ,
Use-Once" Variables and Linear Objects -Storage Management, Reflection and MultiThreading, SIGPLAN Notices, vol.30, pp.45-52, 1995. ,
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
Defunctionalized Interpreters for Programming Languages, Proceedings of the 13th ACM SIGPLAN international conference on Functional programming (ICFP, 2008. ,
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. ,
The zipper, Journal of functional programming, vol.7, issue.4, pp.549-554, 1997. ,
Linear Contexts, Sharing Functors: Techniques for Symbolic Computation, pp.49-69, 2003. ,
Exception Handling for C++, Proceedings of the C++ Conference, pp.149-176, 1990. ,
Contextual isomorphisms, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, pp.400-414, 2017. ,
The Derivative of a Regular Type is its Type of One-Hole Contexts, p.4, 2001. ,
Resource Polymorphism, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01724997
Observers for linear types, ESOP '92, 1992. ,
Ordered Linear Logic and Applications, 2001. ,
Proving Syntactic Properties of Exceptions in an Ordered Logical Framework, Functional and Logic Programming, 5th International Symposium, vol.2024, pp.61-77, 2001. ,
Definitional Interpreters for HigherOrder Programming Languages, Reprinted in Higher-Order and Symbolic Computation, vol.11, p.4, 1972. ,
, Definitional Interpreters Revisited. Higher-Order and Symbolic Computation, vol.11, issue.5, pp.355-361, 1998.
An Efficient Machineindependent Procedure for Garbage Collection in Various List Structures, Commun. ACM, vol.10, p.4, 1967. ,
Recycling Continuations. SIGPLAN Not, vol.34, pp.251-260, 1998. ,
Foundations of C++, European Symposium on Programming, pp.1-25, 2012. ,
Continuation-Based Program Transformation Strategies, J. ACM, vol.27, 1980. ,