Author:
Coquery Emmanuel,Fages François
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Abadi, M., Cardelli, L.: A Theory of Objects. Springer, Heidelberg (1996)
2. Coquery, E.: Tclp: a generic type checker for constraint logic programs, http://pauillac.inria.fr/~coquery/tclp/
3. Coquery, E., Fages, F.: From typing constraints to typed constraint systems in CHR. In: Third workshop on Rule-based Constraint Reasoning and Programming, CP 2001, Cyprus (December 2001)
4. Coquery, E., Fages, F.: Tclp: overloading, subtyping and parametric polymorphism made practical for constraint logic programming. Technical report, INRIA Rocquencourt (2002)
5. Coquery, E., Fages, F.: Subtyping constraints in quasi-lattices. Technical report, INRIA Rocquencourt (September 2003)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Constraint-Based Mathematical Modeling Library in Prolog with Answer Constraint Semantics;Lecture Notes in Computer Science;2024
2. A Type System for CHR;Lecture Notes in Computer Science;2006
3. Subtyping Constraints in Quasi-lattices;Lecture Notes in Computer Science;2003
4. Constraints over Ontologies;Principles and Practice of Constraint Programming – CP 2003;2003