Tclp: a generic type checker for constraint logic programs. http://pauillac.inria.fr/~coquery/tclp (2000)

by E Coquery