Typing constraint logic programs

Francois Fages, Emmanuel Coquery

We present a prescriptive type system with parametric polymorphism and subtyping for constraint logic programs. The aim of this type system is to detect programming errors statical…