Dependent types with subtyping and late-bound overloading
scientific article; zbMATH DE number 1853182