W. Andrew, D. B. Appel, and . Macqueen, Standard ML of new jersey, Proceedings of the Third International Symposium on Programming 1 http://tom.loria.fr Language Implementation and Logic Programming, pp.1-13, 1991.

L. 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

F. Baader and T. Nipkow, Term Rewriting and all That, 1998.

P. Borovansk´yborovansk´y, C. Kirchnerhéì-ene-kirchner, P. Moreau, and C. Ringeissen, An overview of ELAN, WRLA'98: Proceedings of the 2nd International Workshop on Rewriting Logic and its Applications Electronic Notes in Theoretical Computer Science, 1998.

L. Cardelli, Compiling a functional language, Proceedings of the 1984 ACM Symposium on LISP and functional programming , LFP '84, pp.208-217, 1984.
DOI : 10.1145/800055.802037

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

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

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, pp.187-197, 2005.
DOI : 10.1145/1069774.1069792

URL : https://hal.archives-ouvertes.fr/inria-00000701

D. Lacey, N. Jones, E. Van-wyk, and C. C. Frederikson, Proving correctness of compiler optimizations by temporal logic. Higher-Order and Symbolic Computation, 2004.

P. Moreau, C. Ringeissen, and M. Vittek, A Pattern Matching Compiler for Multiple Target Languages, 12th Conference on Compiler Construction, pp.61-76, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00099427

R. C. Sekar, R. Ramesh, and I. V. Ramakrishnan, Adaptive Pattern Matching, SIAM Journal on Computing, vol.24, issue.6, pp.1207-1234, 1995.
DOI : 10.1137/S0097539793246252

G. J. Mark, J. Van-den-brand, P. Heering, P. A. Klint, and . Olivier, Compiling language definitions: the asf+sdf compiler, ACM Trans. Program. Lang. Syst, vol.24, issue.4, pp.334-368, 2002.

E. 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.