Typing constraint logic programs - FAGES, FRANÇOIS; COQUERY, EMMANUEL (Theory and practice of logic programming, 2001)
Keywords: Metaprogramming; Prolog; Constraint logic programming; type systems; subtyping