B. Aktemur, Y. Kameyama, O. Kiselyov, and C. Shan, Shonan challenge for generative programming, Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation, PEPM '13, pp.147-154, 2013.
DOI : 10.1145/2426890.2426917

A. Bawden, Quasiquotation in Lisp, Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 1999), pp.4-12, 1999.

L. Courtès, Running system services in containers, 2017.

E. Dolstra, E. Merijn-de-jonge, and . Visser, Nix: A Safe and Policy-Free System for Software Deployment, Proceedings of the 18th Large Installation System Administration Conference, pp.79-92, 2004.

E. Dolstra, A. Löh, and N. Pierron, NixOS: A Purely Functional Linux Distribution, In Journal of Functional Programming, pp.577-615, 2010.

R. and K. Dybvig, Writing Hygienic Macros in Scheme with Syntax-Case, 1992.

E. Steven, A. Ganz, W. Sabry, and . Taha, Macros As Multi-stage Computations: Type-safe, Generative, Binding Macros in MacroML, Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming, ICFP '01, pp.74-85, 2001.

E. Kohlbecker, D. P. Friedman, M. Felleisen, and B. Duba, Hygienic macro expansion, Proceedings of the 1986 ACM conference on LISP and functional programming , LFP '86, pp.151-161, 1986.
DOI : 10.1145/319838.319859

Z. Wang and R. R. Muntz, Managing Dynamic Changes in Multi-stage Program Generation Systems, Proceedings of Generative Programming and Component Engineering (GPCE), pp.316-334, 2002.
DOI : 10.1007/3-540-45821-2_20

T. Rompf and M. Odersky, Lightweight modular staging, Communications of the ACM, vol.55, issue.6, pp.121-130, 2012.
DOI : 10.1145/2184319.2184345

M. Serrano and C. Queinnec, A multi-tier semantics for Hop, Higher-Order and Symbolic Computation, vol.17, issue.4, pp.409-431, 2010.
DOI : 10.1007/s10990-004-4866-z

M. Rhiger, Hygienic quasiquotation in scheme, Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming, Scheme '12, pp.58-64, 2012.
DOI : 10.1145/2661103.2661109

A. Madhavapeddy and D. J. Scott, Unikernels, Queue, pp.30-3044, 2013.
DOI : 10.1145/2541883.2541895

O. Kiselyov and C. Shan, MetaScheme, or untyped MetaOCaml, 2008.