Ceci est une ancienne révision du document !


Publication avant 2006

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

[2005, inproceedings | 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.). Unpublished PhD Thesis.

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

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