Typing Constraint Logic Programs (2001)

by Francois Fages , Emmanuel Coquery
Venue:THEORY AND PRACTICE OF LOGIC PROGRAMMING
Citations:2 - 1 self

Documents Related by Co-Citation

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
7 A type-safe embedding of Constraint Handling Rules into Haskell. Honors Thesis – W-N Chin, M Sulzmann, M Wang - 2003
22 J.L.: Constraint Logic Programming – J Jaffar, Lassez - 1987
30 A Prolog Constraint Handling Rules compiler and runtime system – C Holzbaur, T Frühwirth
8 Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping – Jan-Georg Smaus, François Fages, Pierre Deransart - 2000
13 JACK: A Java Constraint Kit – Slim Abdennadher, Ekkerhard Krämer, Matthias Saft, Matthias Schmauss - 2002
92 Operational Semantics and Confluence of Constraint Propagation Rules – Slim Abdennadher - 1997
53 A theory of overloading – Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny - 2002
56 Typed Prolog: A semantic reconstruction of the MycroftO’Keefe type system – T K Lakshman, U S Reddy - 1991
396 Theory and Practice of Constraint Handling Rules – Thom Frühwirth - 1998
141 A Polymorphic Type System For Prolog – A Mycroft, R O'Keefe - 1984
33 A versatile constraint-based type inference system – F Pottier - 2000
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