Type inference with subtypes
scientific article; zbMATH DE number 4149530
scientific article