|
2
|
Subtyping constraints in quasi-lattices
– E COQUERY, F FAGES
- 2003
|
|
2
|
Typage et programmation en logique avec contraintes
– E Coquery
- 2004
|
|
1
|
T.: (CHR web
– T Frühwirth, Schrijvers
|
|
1
|
F.: Closures are needed for closed module systems
– R Haemmerlé, Fages
|
|
4
|
TCLP: overloading, subtyping and parametric polymorphism made practical for constraint logic programming
– Emmanuel Coquery, François Fages, Projet Contraintes Inria-rocquencourt
|
|
21
|
J.-L.: Constraint logic programming
– J Jaffar, Lassez
- 1987
|
|
32
|
A versatile constraint-based type inference system
– F Pottier
- 2000
|
|
131
|
A polymorphic type system for Prolog
– A Mycroft, R O’Keefe
- 1984
|
|
55
|
Typed Prolog: A semantic reconstruction of the Mycroft-O’Keefe type system
– T K Lakshman, U S Reddy
- 1991
|
|
8
|
Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping
– Jan-Georg Smaus, François Fages, Pierre Deransart
- 2000
|
|
28
|
A Prolog Constraint Handling Rules compiler and runtime system
– C Holzbaur, T 2000a Frühwirth
|
|
12
|
JACK: A Java Constraint Kit
– Slim Abdennadher, Ekkerhard Krämer, Matthias Saft, Matthias Schmauss
- 2002
|
|
7
|
A type-safe embedding of Constraint Handling Rules into Haskell. Honors Thesis
– W-N Chin, M Sulzmann, M Wang
- 2003
|
|
359
|
Theory and Practice of Constraint Handling Rules
– Thom Frühwirth
- 1998
|
|
52
|
A theory of overloading
– Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
- 2002
|
|
86
|
Operational Semantics and Confluence of Constraint Propagation Rules
– Slim Abdennadher
- 1997
|
|
3
|
Kuchenho , V.; et al.: Constraint Logic Programming | An Informal Introduction
– T Fruhwirth
- 1993
|
|
10
|
Non-linear constraints solving over real numbers in constraint logic programming (introducing RISC-CLP
– H Hong
- 1992
|
|
6
|
A Formal Model for Planning with Time and Resources in Concurrent Domains
– M Brenner
- 2001
|
