TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP.

Emmanuel Coquery, Franois Fages

Browse the full ICLP paper archive.