Pure Pattern Type Systems, Proc. of POPL, 2003. ,
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
Rho-calculus with Fixpoint: First-order system, Proc. of TYPES, 2004. ,
The Gang of Four) Design Patterns Elements of Reusable Object-Oriented Software, 1994. ,
The OBJ Family Home Page, 2005. ,
The Haskell Home Page, 2005. ,
Résolution d'equations dans les langages d'ordre 1, 1976. ,
An Imperative Rewriting Calculus, Proc. of PPDP, pp.167-178, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-01147678
The Definition of Standard ML (Revised), 1997. ,