Efficient inference of object types
scientific article; zbMATH DE number 847829