B. Augustsson, Compiling pattern matching, Proceedings of a conference on Functional Programming Languages and Computer Architecture, pp.368-381, 1985.
DOI : 10.1007/3-540-15975-4_48

P. Borovansk´yborovansk´y, C. Kirchnerhéì-ene-kirchner, P. Moreau, and C. Ringeissen, An overview of ELAN Electronic Notes in Theoretical Computer Science. [Car84] Luca Cardelli. Compiling a functional language, WRLA'98 : Proceedings of the 2nd International Workshop on Rewriting Logic and its Applications LFP'84 : Proceedings of the 1984 ACM Symposium on LISP and functional programming, pp.208-217, 1984.

M. Clavel, S. Eker, P. Lincoln, and J. Meseguer, Principles of Maude, Proceedings of the first international workshop on rewriting logic, 1996.
DOI : 10.1016/S1571-0661(04)00034-9

W. Chin, Towards an automated tupling strategy, Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation , PEPM '93, 1993.
DOI : 10.1145/154630.154643

F. L. , F. , and L. Maranget, Optimizing pattern matching, ICFP'01 : Proceedings of the sixth ACM SIGPLAN International Conference on Functional Programming, pp.26-37, 2001.

A. Gräf, Left-to-right tree pattern matching, RTA'91 : Proceedings of the 4th international conference on Rewriting Techniques and Applications, pp.323-334, 1991.
DOI : 10.1007/3-540-53904-2_107

G. Kahn, Natural semantics, STACS'87 : 4th Annual Symposium on Theoretical Aspects of Computer Sciences, pp.22-39, 1987.
DOI : 10.1007/BFb0039592
URL : https://hal.archives-ouvertes.fr/inria-00075953

C. Kirchner, P. Moreau, and A. Reilles, Formal validation of pattern matching code, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '05, 2005.
DOI : 10.1145/1069774.1069792
URL : https://hal.archives-ouvertes.fr/inria-00000701

D. Lacey, Program Transformation using Temporal Logic Specifications, 2003.

P. Moreau, C. Ringeissen, M. V. , K. Olmos, and E. Visser, A Pattern Matching Compiler for Multiple Target Languages Strategies for source-to-source constant propagation, CC'2003 : 12th Conference on Compiler Construction, Warsaw (Poland), volume 2622 of LNCS WRS'02 : Workshop on Reduction Strategies Sekar, R. Ramesh, and I. V. Ramakrishnan. Adaptive pattern matching. SIAM Journal on Computing, pp.61-761207, 1995.

F. Valentin and . Turchin, The concept of a supercompiler, ACM Transactions on Programming Languages and Systems, vol.8, issue.3, pp.292-325, 1986.

G. J. Mark, . Van-den-brand, A. Hayco, P. De-jong, P. Klint et al., Efficient annotated terms. Software-Practice and Experience, pp.259-291, 2000.

H. Heering, . De-jong, T. Merijn-de-jonge, P. Kuipers, L. Klint et al., The ASF+SDF Meta-Environment : a Component-Based Language Development Environment, CC'2001 : Proceedings of Compiler Construction, 2001.

[. Visser, Z. El-abidine, A. Benaissa, and . Tolmach, Building program optimizers with rewriting strategies, ICFP'98 : Proceedings of the third ACM SIGPLAN International Conference on Functional Programming, pp.13-26, 1998.

E. Visser, Stratego: A Language for Program Transformation Based on Rewriting Strategies System Description of Stratego 0.5, RTA'01 : Rewriting Techniques and Applications, pp.357-361, 2001.
DOI : 10.1007/3-540-45127-7_27

J. Visser, Visitor combination and traversal control, ACM SIGPLAN Notices, vol.36, issue.11, pp.270-282, 2001.
DOI : 10.1145/504311.504302

P. Wadler, Deforestation : transforming programs to eliminate trees, Proceedings of the Second European Symposium on Programming, pp.231-248, 1988.