Stem tclp$ (all stems)
1 papers:
ICLP-2002-CoqueryF #morphism #named #parametricity #polymorphism #type system- TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP (EC, FF), p. 480.
ICLP-2002-CoqueryF #morphism #named #parametricity #polymorphism #type system