====== Publication avant 2006 ======

[2005, inproceedings]\\
(2005). A type system for CHR. Paper presented at the 2nd Workshop on Constraint Handling Rules.

[2005, inproceedings | [[http://rewerse.net/publications/download/REWERSE-TR-2005-01.pdf|pdf]] ]\\
(2005). Descriptive Typing Rules for Xcerpt. Paper presented at the 3rd Workshop on Principles and Practice of Semantic Web Reasonning.

[2005, inproceedings]\\
(2005). Un système de types pour CHR. Paper presented at the Actes des Journées Francophones de la Programmation par Contraintes JFPC'2005.

[2004, phdthesis]\\
((2004). Typage et programmation en logique avec contraintes.). 

[2003, inproceedings]\\
(2003). Subtyping constraints in quasi-lattices. Paper presented at the Foundations of Software Technology and Theoretical Computer Science, FSTTCS'03.

[2003, inproceedings]\\
(2003). TCLP: A type checker for CLP(X). Paper presented at the Proceedings of the 13th Workshop on Logic Programming Environments. ({{:research:c03wlpe.ps|ps}})

[2003, techreport]\\
(2003). Subtyping constraints in quasi-lattices INRIA Rocquencourt.

[2003, inproceedings]\\
(2003). Contraintes de sous-typage dans les quasi-treillis. Paper presented at the Actes des Journées Francophones de la Programmation en Logique avec Contraintes JFPLC'2003.

[2002, inproceedings]\\
(2002). Surcharge et sous-typage dans TCLP. Paper presented at the Actes des Journées Francophones de la Programmation en Logique avec Contraintes JFPLC'2002.

[2002, techreport]\\
(2002). TCLP: overloading, subtyping and parametric polymorphism made practical for constraint logic programming INRIA Rocquencourt.

[2001, inproceedings]\\
(2001). From Typing Constraints to Typed Constraints in CHR. Paper presented at the Workshop Proceedings of the Rule-Based Constraint Reasoning and Programming.

[2001, article]\\
(2001). Typing constraint logic programs. Theory and Practice of Logic Programming, 1(6), 751-777.

[2001, inproceedings]\\
(2001). Programmes logiques avec contraintes typés. Paper presented at the Actes des Journées Francophones de la Programmation en Logique avec Contraintes JFPLC'2001.