G. Barthe, H. Cirstea, C. Kirchner, and L. Liquori, Pure Pattern Type Systems, Proc. of POPL, pp.250-261, 2003.

G. Boudol, The Recursive Record Semantics of Objects Revisited, Journal of Functional Programming
URL : https://hal.archives-ouvertes.fr/inria-00072423

G. Boudol and P. Zimmer, Recursion in the Call-by-Value Lambda-Calculus, Proc. of FICS, Note Series NS-02-2. BRICS, 2002.

H. Cirstea and C. Kirchner, The rewriting calculus - part II, Logic Journal of IGPL, vol.9, issue.3, pp.427-498, 2001.
DOI : 10.1093/jigpal/9.3.377
URL : https://hal.archives-ouvertes.fr/inria-00100532

H. Cirstea, C. Kirchner, and L. Liquori, Matching Power, Proc. of RTA, pp.77-92, 2001.
DOI : 10.1007/3-540-45127-7_8
URL : https://hal.archives-ouvertes.fr/inria-00099308

H. Cirstea, C. Kirchner, and L. Liquori, The Rho Cube, Proc. of FOSSACS, pp.166-180, 2001.
DOI : 10.1007/3-540-45315-6_11
URL : https://hal.archives-ouvertes.fr/inria-00107877

H. Cirstea, C. Kirchner, and L. Liquori, Rewriting Calculus with(out) Types, Proc. of WRLA, ENTCS, 2002.
DOI : 10.1016/S1571-0661(05)82526-5
URL : https://hal.archives-ouvertes.fr/inria-00100858

H. Cirstea, L. Liquori, and B. Wack, Rho-calculus with Fixpoint: First-order system, Proc. of TYPES, 2004.

G. Cousineau, P. Curien, and M. Mauny, The categorical abstract machine, Science of Computer Programming, vol.8, issue.2, pp.173-202, 1987.
DOI : 10.1016/0167-6423(87)90020-7

F. Cristal, . Lemme, . Mimosa, and O. Miró, Concert: Compilateurs Certifiés ARC INRIA, 2003.

G. Faure and P. Moreau, Jrho: a Java Implementation of the Rho Calculus, 2002.

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, The Gang of Four) Design Patterns Elements of Reusable Object-Oriented Software, 1994.

E. Gimenez, Structural recursive definitions in type theory, Proc. of ICALP, pp.397-408, 1998.
DOI : 10.1007/BFb0055070

J. Goguen, The OBJ Family Home Page, 2004.

T. Hirschowitz, X. Leroy, and J. B. Wells, Compilation of extended recursion in call-by-value functional languages, Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming , PPDP '03, 2003.
DOI : 10.1145/888251.888267
URL : https://hal.archives-ouvertes.fr/hal-00310121

G. Huet, Résolution d'equations dans les langages d'ordre 1, 1976.

G. Kahn, Natural semantics, Proc. of STACS, pp.22-39, 1987.
DOI : 10.1007/BFb0039592
URL : https://hal.archives-ouvertes.fr/inria-00075953

S. N. Kamin, Inheritance in smalltalk-80: a denotational definition, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '88, pp.80-87, 1988.
DOI : 10.1145/73560.73567

P. J. Landin, The Mechanical Evaluation of Expressions, The Computer Journal, vol.6, issue.4, pp.308-320, 1964.
DOI : 10.1093/comjnl/6.4.308

K. Lee, A. Lamarca, and C. Chambers, HydroJ: Object-Oriented Pattern Matching for Evolvable Distributed Systems, Proc. of OOPSLA, 2003.

L. Liquori and B. Serpette, The Full Version of this paper, 2004.

I. A. Mason and C. L. Talcott, References, local variables and operational reasoning, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, pp.66-77, 1992.
DOI : 10.1109/LICS.1992.185532
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.1123

N. P. Mendler, Inductive Definition in Type Theory, 1987.

N. P. Mendler, P. Panangaden, and R. L. Constable, Infinite Objects in Type Theory, Proc. of LICS, pp.249-255, 1986.

. Microsoft, The C# Home Page, 2004.

]. R. Milner, M. Tofte, R. Harper, and D. Macqueen, The Definition of Standard ML (Revised), 1997.

P. Moreau, C. Ringeissen, and M. Vittek, The Tom Home Page, 2004.

J. G. Morrisett, M. Felleisen, and R. Harper, Abstract models of memory management, Proceedings of the seventh international conference on Functional programming languages and computer architecture , FPCA '95, pp.66-77, 1995.
DOI : 10.1145/224164.224182

S. and P. Jones, The Implementation of Functional Programming Languages, 1987.

D. Riehle and H. Züllighoven, Understanding and using patterns in software development, Theory and Practice of Object Systems, vol.2, issue.1, pp.3-13, 1996.
DOI : 10.1002/(SICI)1096-9942(1996)2:1<3::AID-TAPO1>3.0.CO;2-#
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.4742

A. Stump, The Rogue Home Page, 2004.

A. Stump, C. W. Barrett, and D. L. Dill, CVC: A Cooperating Validity Checker, CAV, 2002. System Description
DOI : 10.1007/3-540-45657-0_40

G. The and . Team, The GNU Prolog Home Page, 2004.

V. Van-oostrom, Lambda Calculus with Patterns, 1990.