1 paper · 2 filters
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…