Searching for authors named "Emmanuel Coquery" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Typed Constraint Logic Programs: checking domain coercions and metaprograms through subtyping
- … ? Emmanuel Coquery and Francois Fages Projet Contraintes, INRIA-Rocquencourt, BP105, 78153 Le Chesnay Cedex…
- Add To MetaCart
-
Typing Constraint Logic Programs
- … Logic Programs Francois Fages and Emmanuel Coquery Projet Contraintes, INRIA-Rocquencourt, BP105…
- Cited by 2 (1 self) – Add To MetaCart
-
Descriptive Typing Rules for Xcerpt and their Soundness
- …Descriptive Typing Rules for Xcerpt and their Soundness Sacha Berger 1 , Emmanuel Coquery 2 , W…
- Cited by 1 (1 self) – Add To MetaCart
-
A type system for CHR
- …A Type System for CHR Emmanuel Coquery 1,2 and François Fages 1 1 INRIA Rocquencourt, Projet…
- Cited by 1 (0 self) – Add To MetaCart
-
Subtyping Constraints in Quasi-Lattices
- …Subtyping constraints in quasi-lattices Emmanuel Coquery and Francois Fages INRIA Rocquencourt…
- Add To MetaCart
-
From Typing Constraints to Typed Constraint Systems in CHR
- …From Typing Constraints to Typed Constraint Systems in CHR Emmanuel Coquery and Francois Fages…
- Cited by 4 (1 self) – Add To MetaCart
-
TCLP: overloading, subtyping and parametric polymorphism made practical for constraint logic programming
- … programming Emmanuel Coquery and Francois Fages Projet Contraintes, INRIA-Rocquencourt, BP105, 78153 Le…
- Cited by 4 (2 self) – Add To MetaCart
Showing 1 through 7.
