A type inference algorithm for a stratified polymorphic type discipline
scientific article; zbMATH DE number 563082