"TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical ..."

Emmanuel Coquery, François Fages (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics