Integration of parametric and ``ad hoc'' second order polymorphism in a calculus with subtyping
scientific article; zbMATH DE number 907982