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

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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.6169

. Pierre-etienne-moreau-emilie-balland and . Inria-loria, Optimizing pattern matching by program transformation, 2005.

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

A. Gräf, Left-to-right tree pattern matching, 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

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

O. Rüthing, J. Knoop, and B. Steffen, Detecting Equalities of Variables: Combining Efficiency with Precision, SAS, pp.232-247, 1999.
DOI : 10.1007/3-540-48294-6_15

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

P. Sestoft, ML pattern match compilation and partial evaluation, Dagstuhl Seminar on Partial Evaluation, pp.446-464, 1996.
DOI : 10.1007/3-540-61580-6_22
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.1363

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