Ceci est une ancienne révision du document !
[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.).
[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.